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.
Beispiel: Euklidische Geometriex ‖ y lies: x ist parallel zu y,x ⊥ y lies: x ist senkrecht zu y.Axiomenmenge X:(1) ∀x∃y : x ‖ y(2) ∀x∃y : x ⊥ y(3) x ‖ y → y ‖ x(4) x ⊥ y → y ⊥ xFrage: Folgt aus X die Formel(5) x ‖ y ∧ x ⊥ z → y ⊥ z(6) x ⊥ y ∧ x ⊥ z → y ‖ z∀x∀y∀z : ( (x ‖ y ∧ x ⊥ z) → ∃w : (w ⊥ y ∧ w ‖ z) )Hochschule Darmstadt, Januar 2009 – p.20/54