Temat 1: Wprowadzenie do języka Prolog   czarno-biały   kolorowy

• Przykład prostego programu w języku Prolog: Relacje pokrewieństwa
• Rozszerzanie programu przez wprowadzanie reguł prologowych
• Rekurencyjna definicja reguły prologowej

Temat 2: Budowa składniowa programów prologowych   czarno-biały   kolorowy

• Reprezentacja danych w Prologu
• Mechanizm uzgadniania (unifikacji)
• Formalna interpretacja deklaratywna programu prologowego
• Związki języka Prolog z logiką formalną
• Podsumowanie

Temat 3: Interpretacja programów prologowych   czarno-biały   kolorowy

• Deklaratywna interpretacja programu prologowego
• Proceduralna interpretacja proceduralna programu prologowego
• Porządek kauzul prologowych i celów
• Podsumowanie

Temat 4: Listy prologowe   czarno-biały   kolorowy

• Składnia i reprezentacja list w Prologu
• Reprezentacja wewnątrzna list prologowych
• Wybrane operacje na listach w Prologu

Temat 5: Operatory i operacje arytmetyczne   czarno-biały   kolorowy

• Reprezentacja wewnętrzna wyrażeń
• Notacja operatorów i ich definiowanie
• Operatory porównania w Prologu
• Operacje arytmetyczne w Prologu

Temat 6: Sterowanie mechanizmem nawrotów   czarno-biały   kolorowy

• Mechanizm odcięć (ang. cuts)
• Przykłady wykorzystywania odcięć w programie prologowym
• Negacja przez niepowodzenie
• Problemy związane z zastosowaniem odcięć i negacji w Prologu

Temat 7: Predefiniowane (systemowe) predykaty prologowe - metapredykaty   czarno-biały   kolorowy

• Sprawdzanie typu termów
• Kompozycja i dekompozycja termów: =.., functor, arg, name
• Manipulacja bazą danych w Prologu
• Manipulowanie przepływem sterowania w Prologu
• Predykaty: bagof, setof i findall