Quoted
Original von Prof_NARF
Laut Herrn Dr. Holz ist das egal. Die Baumstruktur ist sogar aus korrekturtechnischen Gründen bevorzugt.
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Da es sich hierbei um Resolution handelt, gilt das in diesem Thread Gesagte.Quoted
Original von NullAhnung
Das ist schonmal gut. Kann ich bei dem Logikprogramm auch Klauseln doppelt benutzen?
Was sind s und t?Quoted
Wie gebe ich s und t an?
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Im Grund geht es ja darum, eine konkrete erfüllbare Formel anzugeben (dazu in diesem Falle das s und t). Eine solche Formel ergibt sich aus den angewendeten Substitutionen im Verlauf der Resolution, in der Vorlesung oder Übung wurde dazu garantiert ein Beispiel gemacht.Quoted
Original von NullAhnung
Das eben weiß ich ja nicht so genau. Da steht: Man gebe Terme s und t an, so dass die Formel P(f(s),t) n R(s, f(t)) erfüllt ist