Loading page
Functional languages
Describe facts and rules, then let logic drive the search for answers.
message('Hello from Prolog').
:- message(X), writeln(X).COURSE CURRICULUM
Finish one section at a time or jump directly to a concept you need.
Learn how prolog systems, queries, and knowledge bases works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how facts, rules, terms, and unification works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how logical variables and substitution works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how atoms, numbers, compounds, and lists works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how arithmetic goals and comparison predicates works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how rule ordering, guards, and negation works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how recursion, backtracking, and list traversal works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how predicates, modes, and deterministic design works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how lists, trees, and relational data works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how atoms, strings, dcgs, and parsing works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how failure, cuts, and declarative debugging works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how modules, operators, and code organization works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how constraints, relations, and search models works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how files, dynamic predicates, and tabling works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.
Learn how testing queries and logical properties works in Prolog, why the underlying model matters, and how to apply it in a small program without hiding important trade-offs.