Lektion  nummer 7

Metaprogrammering. Primitiverna var/1, nonvar/1, ground/1.

arg/3 och functor/3 to construct and deconstruct terms.

Hur man samlar upp alla lösningar i en lista: primitiverna findall/3, bagof/3 och setof./3

Reflektiva interpretatorer. "The Vanilla prolog interpreter".

Hur man utvidgar metainterpretatorn för att konstruera ett bevis, för att implementera "depth bounded search" och "iterative deepening".

Expertsystem och Prolog.

Ett diagnossystem för att finna fel i bilar. Utvidgning av "vanilla"-interpretatorn till en "inference engine" för diagnossystemet.

Lite repetition och förtydliganden runt den logiska semantiken för logikprogram.

Metainterpretatorn solve/1 som ett exempel.