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.
Lineare Resolution für Hornformeln... ∧ P ∧ ... → F ... → P... ∧ Q ∧ ... → F ... → QTerminologie:... ∧ R ∧ ... → F ... → R... → F.□• Formeln der Form ... ∧ ... → F heißen center clauses.• Die center clause oben links heißt start center clause.• Die Formeln der Form ... → Q heißen side clauses.Hochschule Darmstadt, Januar 2009 – p.43/54