Summary of lecture week 7

How to  implement apply in Prolog. map_list as an example of "higher order programming" à la functional programming.

Meta programming. The primitives var, nonvar, ground.

arg and functor to construct and deconstruct terms.

How to collect all solutions in a list: The primitives findall, bagof and setof.

Self interpreters. The Vanilla prolog interpreter.

Expert systems in Prolog.