Projekt: SimpleProlog!

Die neueste Version finden Sie unter:   SimplePrologPlusPlus  

WiM-Ausgabe:

Nach Abarbeitung des WiM-Codes mit der MASCHINE kommt folgendes Ergebnis:

Vorne = nil Hinten = cons(a, cons(b, cons(c, cons(d, cons(e, nil))))) ; Vorne = cons(a, nil) Hinten = cons(b, cons(c, cons(d, cons(e, nil)))) ; Vorne = cons(a, cons(b, nil)) Hinten = cons(c, cons(d, cons(e, nil))) ; Vorne = cons(a, cons(b, cons(c, nil))) Hinten = cons(d, cons(e, nil)) ; Vorne = cons(a, cons(b, cons(c, cons(d, nil)))) Hinten = cons(e, nil) ; Vorne = cons(a, cons(b, cons(c, cons(d, cons(e, nil))))) Hinten = nil ; No

Prolog-Eingabe:

append(nil, L, L). append(cons(X, XL), YL, cons(X, ZL)) :- append(XL, YL, ZL). % 1. quasi: ?- append([a, b], [c], ListeAB) % erwartet: ListeAB = [a, b, c] % %%%%%%% ?- append(cons(a, cons(b, nil)), cons(c, nil), ListeAB). % 2. quasi: ?- append(Vorne, [b], [a, b]) % erwartet: Vorne = [a] % %%%%%%% ?- append(Vorne, cons(b, nil), cons(a, cons(b, nil))). % 3. quasi: ?- append(Vorne, Hinten, [a, b, c, d, e]) % erwartet: Vorne = nil % Hinten = [a, b, c, d, e]; % Vorne = [a] % Hinten = [b, c, d, e]; % ... etc. ... % Vorne = [a, b, c, d, e] % Hinten = nil; % ?- append(Vorne, Hinten, cons(a, cons(b, cons(c, cons(d, cons(e, nil)))))).

Prolog-Datei als Alternative zur Eingabe:

Prolog-Beispiele als Alternative zur Eingabe:       --- wim.listappend.pl wim.listmember.pl wim.listdelete.pl wim.example.pl wim.persons.pl wim.test01.pl wim.test02.pl wim.test03.pl wim.test04.pl wim.test05.pl wim.test06.pl       (wim.listappend.pl)

Prolog-Code anzeigen

Tokens anzeigen

WiM-Code anzeigen (compile)

Source-Codes:

prolog.scanner.php

prolog.parser.php

prolog.generator.php

prolog.machine.php

Projekt:

Prolog-Compiler     Copyright (c) 2005  Stefan K. Baur,     www.stefan-baur.de