Programmieren mit Prolog
Programmieren mit Prolog
Programmieren mit Prolog
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Übersicht• Syntax der Prädikatenlogik• Semantik der Prädikatenlogik• Strukturen• Modelle• Folgerung• Beweisen durch Widerlegen• Normierung der Syntax: Gentzenformeln• Schnittregel / Resolutionskalkül• Substitutionen und Unifikation• Einschränkungen des Suchraums• Spezielle Ableitungen / Regeln / FormelnHochschule Darmstadt, Januar 2009 – p.2/54