Programmieren mit Prolog

Semantik der PrädikatenlogikDie Syntax wird durch Angabe von Funktions- undPrädikatensymbolen definiert (Signatur).Semantisch werden diese Symbole in einer Strukturinterpretiert:• Angabe einer nicht leeren (Daten-)Menge D(in der mehrsortigen Prädikatenlogik je eine Menge pro Sorte)• Angabe einer n-stelligen Funktion auf D für jedesn-stellige Funktionssymbol• Angabe eines n-stelligen Prädikats (d. h. einer Relation)auf D für jedes n-stellige PrädikatensymbolHochschule Darmstadt, Januar 2009 – p.9/54