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.
Logisches <strong>Programmieren</strong>• Logisches Programm:Menge positiver Hornformeln(side clauses in Widerlegungen)• Anfrage/Goal:Eine negative Hornformel(start center clause)• •• •• •• •□Widerlegungen beweisen Existenzfragen :X ∪ {Q 1 ∧ · · · ∧ Q n → F } ⊢ □ gdwX ∪ {∀ −→ x : ¬(Q 1 ∧ · · · ∧ Q n )} □ gdw“Antworten”sind konstruktiv:Extrahierte AntwortsubstitutionenX ∃ −→ x : Q 1 ∧ · · · ∧ Q nHochschule Darmstadt, Januar 2009 – p.44/54