Prolog is a high-level fourth-generation programming language. It’s mainly used in artificial intelligence research, applications and software, and is usually only found in expert systems and very advanced tech.
It’s an acronym for PROgramming in LOGic, and is a declarative language. That means that rather than telling the computer exactly what steps to follow, the programmer describes the problem that needs to be solved instead.