© 2005-2022 Markus Triska Introduction Facets of Prolog Logical Foundations Basic Concepts Data Structures Reading Prolog Programs Writing Prolog Programs Termination Nontermination Integer Arithmetic Higher-order Predicates Logical Purity Declarative Testing Declarative Debugging Definite Clause Grammars Sorting and Searching Global Variables Thinking in States Meta-interpreters Macros Combinatorial Optimization Expert Systems Web Applications Cryptography Business Cases Theorem…
