Verständnisfrage Cut (7.3)

twinkletoes
Mausschubser
Mausschubser
Beiträge: 44
Registriert: 17. Mär 2009 16:01

Verständnisfrage Cut (7.3)

Beitrag von twinkletoes »

Sitzen gerade an der 7.3 und verstehen die Ausgabe in der MuLö nicht so ganz.

Bild

Die rechte Seite ist uns irgendwie nicht ganz klar... wären über Erklärungen und Tipps seeeehr froh! :D

Gruß.
twinkletoes
It is what you read when you don't have to that determines what you will be when you can't help it. ~Oscar Wilde

klaro
Mausschubser
Mausschubser
Beiträge: 51
Registriert: 16. Okt 2006 22:05
Wohnort: Offenbach am Main

Re: Verständnisfrage Cut (7.3)

Beitrag von klaro »

Das ist der "trace" von Prolog. Der zeigt dir einfach an, wie Prolog die Schritte dieser Query durch Backtracking abarbeitet, bis er die Query bewiesen hat. In der Lösung ist nur ein Teil des trace aufgezeigt. Den ganzen kannst du aber auch selber anschauen, wenn du das Programm, so wie es auf dem Blatt steht in eine Textdatei schreibst und dann in der Konsole eingibst: trace, a(X,Y).

P.S.: falls es dir trotzdem nicht klar sein sollte, dann kann ich dir dieses Tutorial empfehlen: http://www.learnprolognow.org/

Dort auf free online Version und Kapitel2 : matching and proof search.
Einfach mal durchlesen, dann wird es klarer, was Prolog genau macht.

Benutzeravatar
oren78
BSc Spammer
BSc Spammer
Beiträge: 1373
Registriert: 17. Nov 2006 17:47
Wohnort: Darmstadt

Re: Verständnisfrage Cut (7.3)

Beitrag von oren78 »

kleine frage dazu...was wäre dann der status: "creep"...?

Code: Alles auswählen

?- trace, dad(bob,Y).

   Call: (8) dad(bob, _G834) ? creep
   Call: (9) male(bob) ? creep
   Exit: (9) male(bob) ? creep
   Call: (9) parent(bob, _G834) ? creep
   Exit: (9) parent(bob, ann) ? creep
   ....
   ..
   .
"Unter allen menschlichen Entdeckungen sollte die Entdeckung der Fehler die wichtigste sein.", Stanisław Jerzy Lec

Benutzeravatar
^Lara^
Mausschubser
Mausschubser
Beiträge: 68
Registriert: 17. Jan 2005 12:57

Re: Verständnisfrage Cut (7.3)

Beitrag von ^Lara^ »

Müssen wir die rechte Seite gegebenenfalls in der Klausur auch so hinschreiben oder reicht die linke Seite?

Danke und lg

Steven
Kernelcompilierer
Kernelcompilierer
Beiträge: 425
Registriert: 2. Sep 2008 10:00
Wohnort: Frankfurt am Main

Re: Verständnisfrage Cut (7.3)

Beitrag von Steven »

Ich habe ein einer Übung mal gefragt und der Assistent meinte damals, dass wir keine Traces hinschreiben müssen, da die sowieso von jedem Interpreter etwas anders ausgegeben werden - SLD-Suchbaum und Beweisbaum reichen also. Lesen sollte man Traces aber können.

Antworten

Zurück zu „Archiv“