Prolog

Full Prolog course — 49 topics from the basics to advanced use.

Lessons

• Purity, Monotonicity & Declarative Style
• CLP(FD)
• CLP(B), CLP(Q/R) & CHR
• Coroutining
• Tabling
• Meta-Interpreters
• Term & Goal Expansion
• Search Strategies
• AI Applications
• Interpreters & Compilers
• Performance
• The WAM
• Concurrency
• Related Paradigms
• Introduction to Logic Programming & Prolog
• Installation & Implementations
• The Top Level & Your First Program
• Facts, Rules & Queries
• Terms
• Unification
• How Prolog Executes
• Arithmetic
• Comparison & Equality
• Recursion
• Lists
• Web Programming
• Databases & Semantic Web
• Foreign Interfaces
• Packs & Deployment
• ISO Standard & Portability
• Best Practices & Style
• Capstone Projects
• Appendices
• Control
• The Cut
• Operators
• Term Inspection & Construction
• All-Solutions Predicates
• The Dynamic Database
• Atoms, Strings, Chars & Codes
• Definite Clause Grammars
• Input/Output & Files
• Exceptions & Error Handling
• Higher-Order & Meta Predicates
• Accumulators, Tail Recursion & Difference Lists
• Standard Libraries
• Modules
• Debugging, Testing & Documentation
• Course Overview