👉 In computer science, a prolog (pronounced "pro-log") is a type of declarative programming language that uses a set of rules to generate code. Prolog has its roots in logic and mathematics, but it can also be used for other purposes, such as parsing natural languages or generating natural-language text.
Prolog's syntax consists of several types of statements, including:
1.
Prologue
: This is the first statement that defines the language and its rules.
2.
Procedure