A Logical Programming language that heavily uses search. Used heavily in Machine Learning.
- A prolog program is a Set of positive Horn Clause
Files end with
.pl
Concepts
Core
- Prolog Fact
- Prolog Query
- Prolog Atom
- Prolog Trace
- Prolog Atomic Formulae
- Prolog Complex Formulae
- Prolog Variable
- Prolog Dont Care Variable
- Prolog Functor
- Prolog Term
- Prolog Operators
- Prolog List
- Unification
- Backtracking
- gtrace
- Prolog Negation as Failure
- Warren Abstract Machine