Structure of a Prolog Program¶. Programs in most programming languages consist of functions of things like functions, variables, and modules. Prolog is a bit different, and its program consist of ...

William Byrd explains the ideas behind logic programming languages (like Prolog) and relational programming. Also: miniKanren and core.logic, program synthesis, and much more.