; Beispiele nach (load "prolog") und (load "logbsp") : (goal () (mensch sokrates)) (goal () (fehlbar sokrates)) (goal (irgendjemand) (fehlbar irgendjemand)) (goal () (hanoi 4)) (goal (ort) (geh draužen ort ())) (goal (praed-log-ausdruck) (sentence (every man loves a woman) () praed-log-ausdruck)) (goal (p) (sentence (a man that eats a apple loves every dog) () p)) (goal (a b c p) (sentence (a b c) () p)) (deflog list7 ((a1 a2 a3 a4 a5 a6 a7) (list7 (a1 a2 a3 a4 a5 a6 a7))) ) (goal (sent pred) (and (list7 sent) (sentence sent () pred))) (prologtrace sentence) (prologtrace nounphrase) (prologtrace determiner) (prologtrace noun) (prologtrace verbphrase) (prologtrace transverb) (prologtrace intransverb) (goal (p) (sentence (a dog barks) () p))