SLD-Resolution

definite Klausel 
indefinite Klausel 
Prolog Klausel 
Normale Klauseln 
definite Zielklauseln 
definites Programm 
Horn-Klauseln 
SLD-Resolution 
SLD-Baum 
Closed Word Assumption 
Negation als Fehlschlag