Lektion  nummer 6 (räkneövning inställd)

DCG-syntaxen (Definite clause grammar) för att uttrycka kontextberoende grammitor direkt i Prolog.

Hur DCG-regler översätts till Prolog vid inläsningen.

Hur man kan säga att DCG använder differenslistor.

Användning av DCG-regler för att skriva program som modellerar tillståndsövergångar, t.ex. en interpretator för ett programmeringsspråk.

Hur man implementerar apply i Prolog. map_list som exempel på "högre ordningens programmering" à la funktionell programmering.

Att få fram samtliga lösningar i en lista. Primitiverna findall, bagof and setof.

Nästa gång tar vi upp metaprogrammering, samt expertsystem. På räkneövningen går vi igenom gamla tentatal och tar upp era frågor till diskussion.