Prolog means programming in logic. It is a logic programming language. Programs written in this language consist of facts and rules. These facts and rules constitutes a knowledge database. Users run these programs by submitting queries in a Prolog interpreter and answers are returned according to the facts and rules.
Prolog is commonly used in artificial intelligence (AI).
We can write a Prolog program in a text editor (such as Notepad or MS-DOS editor).