Reprezentacja wiedzy: logika predykatów pierwszego rzędu
Logika predykatów pierwszego rzędu -» Metoda rezolucji Unifikacja
Przejście od logiki predykatów do Prologu PROgramming in LOGic -> Procedura przeglądania bazy wiedzy Predykaty rekurencyjne