Prolog
The planned outline of 13 modules. Lessons are written, run and reviewed before they are published.
Planned outline
- Module 1
Start here: logic programming and SWI-Prolog
Coming soon - Module 2
Facts, rules and queries
Coming soon - Module 3
Unification and proof search
Coming soon - Module 4
Recursion and termination
Coming soon - Module 5
Lists, arithmetic and integer constraints
Coming soon - Module 6
Control: cut, negation and errors
Coming soon - Module 7
Terms, higher-order predicates and all-solutions
Coming soon - Module 8
Text, files and programs
Coming soon - Module 9
Definite clause grammars
Coming soon - Module 10
State, modules, testing and debugging
Coming soon - Module 11
Tabling and constraint solving
Coming soon - Module 12
Meta-programming and classic AI techniques
Coming soon - Module 13
Real-world Prolog
Coming soon
Official documentation
- www.swi-prolog.org/pldoc/doc_for (swi-prolog.org)
More in Programming languages
- Python (coming soon)
- SQL (PostgreSQL, MySQL, SQLite) (coming soon)
- JavaScript (ES2026) (coming soon)
- Java (JDK 25 LTS) (coming soon)
- All Languages tracks
- How we make lessons