Prolog
Full course · 21 lessonsProlog is a logic programming language associated with artificial intelligence, computational linguistics, and symbolic reasoning. It uses declarative programming where you describe problem constraints and let the engine find solutions.
Getting Started with Prolog
SWI-Prolog, facts, and queries.
Facts and Rules
Build a knowledge base.
Unification
The core of Prolog.
Recursion
Recursive rules for lists and trees.
Lists
Build and process lists.
The Cut (!)
Control backtracking.
Arithmetic
Numbers and arithmetic expressions.
Atoms, Strings, and Text
Text data in Prolog.
Assert and Retract
Dynamic knowledge bases.
Findall and Setof
Collect solutions.
Input/Output
Read and write to the user.
File I/O
Read and write files.
DCG: Grammar Rules
Parse with definite clause grammars.
Expert Systems and Chatbots
Simple rule-based reasoning.
Constraint Handling
Constraint logic programming.
Sudoku Solver
A classic CLP(FD) program.
Search Algorithms
Implement DFS and BFS.
Modules and Libraries
Organize Prolog code.
Debugging Prolog
Trace and inspect.
Real-World Applications
Where Prolog shines.
Ecosystem and Next Steps
Libraries and community.