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.