Prolog is the most popular logic programming language:
- Developed in early 1970s
- Used in natural language processing and A.I.
- Syntax - clausal fragment of classical first-order logic
- Semantics - SLD-resolution with automatic backtracking
- Impure - includes non-logical primitives