1.) Logik: System zur Darstellung von Aussagen, welches auf Prädikaten und Quantoren aufbaut; die generellen Termini einer Aussage werden in der Prädikatenlogik durch Variablen ersetzt und formalisiert
Beispielsätze mit PRÄDIKATENLOGIK
1.) „Da es sich hierbei um Beziehungszahlen handelt, reicht die bisherige Prädikatenlogik zu ihrer Definition nicht aus.“
1.) „Ansonsten ist das Büchlein allgemeinverständlich und es erklärt – was die beiden anderen erwähnten Bücher versäumen – viel von dem, was hinter der Programmsprache steht, zum Beispiel die Prädikatenlogik oder die Beziehungen zwischen PROLOG und anderen logischen Programmiersprachen.“