INFORMATYKA, SEM. IV
Programowanie w logice: stała, zmienna, symbol funkcyjny, term, term złożony, podstawienie, unifikacja, unifikator, predykat (symbol predykatowy), formuła atomowa (atom), literał, klauzula Horna, nagłówek i ciało klauzuli Horna, rodzaje klauzul Horna - fakt, reguła oraz zapytanie, program w logice, definicja predykatu w programie.