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.