joyce

Oh ja, hast recht Klotzkopp. swi-prolog-editor hat mir einmal 4 Lösungen gezeigt und ein anderes mal 3 Lösungen. Keine Ahnung warum. So, ich denke, ich hab verstanden wie prolog zu den Lösungen kommt. Vielen Dank euch beide. Klotzkopp, deine Schreibweise hat mir sehr geholfen, so habe ich besser verfolgen können, was das Programm macht. Zur Kontrolle, hier nochmal 4 Aufgaben, die ich gerade selbständig gelöst habe. Habe die noch nicht mit swi-prolog-editor-Lösungen verglichen. Der zeigt mir Lösungen, kann mir aber nicht sagen warum. Deshalb, wünsche ich mir erstmal euere Meinungen. Aufgabe 1 a(2) :- b. a(3). b :- c(_). b(1). c(1). c(4). Lösung dazu: ?- a(X). X=2; X=2; X=2; X=3. Aufgabe 2 a(2) :- b(_). a(3). b :- c(_). b(1). c(1). c(4). Lösung dazu: ?- a(X). X=2; X=3. Aufgabe 3 a(2) :- b. a(3). b :- c(_),!. b(1). c(1). c(4). Lösung dazu: ?- a(X). X=2; X=3. ich glaube a(2) <- b <- c(_) liefert keine Lösungen, weil da das Programm gestoppt wird (durch !/cut) Aufgabe 4 a(2) :- b. a(3). b :- c(_),!,d(_). b. c(1). c(4). d(1). d(2). Lösung dazu: ?- a(X). X=2; X=3. Der Rest wird gestoppt. STIMMT ALLES SO?

Ob ich die Klausel verstehe? Ich glaube ja. a(2) :- b. heißt wenn b dann a. Die Anfrage ?a(X). liefert X=2, nach Unifizierung a(3). Prädikat a hat 3 als Argument,hier hätte ich als Lösung X=3 nach Unifizierung b :- c( _ ). heißt, wenn c (mit unbekanntem Argument), dann b b. c(1). c(4). Meine Frage ist jetzt woher kommt die zweite Lösung X=2?

Vielen Dank für die große Hilfe. Ich will doch nur wissen, wie das funktioniert, damit ich andere Aufgaben von der Sorte machen kann. Ich will nicht dass jd meine Aufgabe hier löst, die ist sogar schon gelöst. Nur ich verstehe nicht wie man zu dieser Lösung kommt. Das erste X=2; kommt denke ich von a(2):-b und die anderen? :confused:

Hallo, kennt sich hier jd mit Prolog aus? Ich habe da eine Prolog-Aufgabe und auch die Lösung dazu. Nur ich verstehe nicht, wie man zu deser Lösung kommt. Kann mir das jd bitte Schritt für Schritt erklären? Danke! Aufgabe: a(2) :- b. a(3). b :- c( _ ). b. c(1). c(4). Lösung: ?- a(X). X = 2 ; X = 2 ; X = 3.