Prolog
Prolog is a general-purpose logic programming language associated with artificial intelligence and computational linguistics.
Master Prolog with
Interactive Learning
Elevate your Prolog skills through 110 curated exercises across 0 core concepts. Master problem-solving with a structured learning path designed for modern developers.
About Prolog
Prolog (short for "Programming Logic") is a declarative and logic-based programming language developed in 1972 by Alain Colmerauer and Philippe Roussel. It has many applications, most notably in Artificial Intelligence for its pattern matching abilities over natural language parse trees.
Prolog is written in "facts" and "rules" that define logical formulas, similar to functional programs. Learning Prolog is a great way to improve skills with recursion, predicate logic, and constraint logic programming.
Key Features of Prolog
Compatible
SWI-Prolog offers a comprehensive set of built-in predicates, covering many established standards.
Simplicity
A single language element, called a clause, is the basis of all prolog relations and programs.
Declarative
Prolog focuses on what holds true about solutions, rather than how it is implemented.
Logical
Prolog is based on the rules of logic, with execution being a form of logical resolution.
Homoiconic
Prolog programs are also valid prolog terms, programs can interact with other prolog programs.
Portable
Implementations exist for Unix/Linux, Windows, MacOS platforms with targets to WebAssembly (WASM).
Compatible
SWI-Prolog offers a comprehensive set of built-in predicates, covering many established standards.
Simplicity
A single language element, called a clause, is the basis of all prolog relations and programs.
Declarative
Prolog focuses on what holds true about solutions, rather than how it is implemented.
Logical
Prolog is based on the rules of logic, with execution being a form of logical resolution.
Homoiconic
Prolog programs are also valid prolog terms, programs can interact with other prolog programs.
Portable
Implementations exist for Unix/Linux, Windows, MacOS platforms with targets to WebAssembly (WASM).
