Prolog
Prolog - Logic programming language
Prolog is a declarative logic programming language using Horn clauses, first-order logic, unification, and automatic backtracking for AI and expert systems.
Category
Logic / Declarative
First Release
1972
File Extension
.pl
Creator
Alain Colmerauer, Robert Kowalski
Latest News
No news articles found for this language.
Difficulty
Advanced 3/3
Declarative logic paradigm, automatic backtracking, and lack of explicit control flow require complete rethink of traditional programming approaches.