1

^ SWI-Prolog (Multi-threaded, yersion 6.2.6)

File Edit Settings Run Debug Help

Welcorr-e Co 3WI-Prolog (Mu lti-chreaded, 32 bit:, Version 6.2.6) Copyright (c)    2990 — 2012 Unitersity of ńir.sterdair., VU ńir.sterdair.

3WI-Prolog coxr.es with A3SOLUTELY NO WARRANTY. Thi: is free :of twarc, and you are welcoir.e Co redisCribuCe i.C under cerCair. condieions . Please cisie hetp://www.swi-prolog.org for decails.

For help, use ? — help (Topie) . or ? — apropos (Word.) .

1 ?-

4 j:/W3ZII/l lab/lubi.pl cotnpiled 0.00 sec, 5 clauses 1    ? — lubi (jarelt,piwo) .

2    ? — ltibi (leasia , hairburger)

I

Aceion    (h    for    help)    ?    Unknown    opeion    (h    for    help)

Aceion    (h    for    help)    ?    Unknown    opeion    (h    for    help)

Aceion    (h    for    help)    ?    break

% Srealc letrel 1

[1]    2    ? — lubi ( kasia , hairburger) .

tru« .

[1]    3    ?-    lubi(kasia,X).

X = piwo f X = hamburger.

[1]    4    ?-    lubi(kasia,X).

X = piwo .

[1]    5    ?-    lubi(kasia,X).

X = piwo f X = hamburger.

[1]    6    ?-    lubi(kasia,X).

X = piwo f X = hamburger.

[1]    7    ?-    lubi(kasia,X).

X = piwo

Unknown aceion:    f (h for help)

Aceion?

4 3reak lecel 2

[2]    S    ?-    lubi(X,jabłko).

X = j arek.

[2]    9    ?—    lubi(X,Y).

X = j arek,

Y    = jabłko f X = j arek,

Y    = gruszka <

X = kasia,

Y    = piwo f X = kasia,

Y    = hamburger.

[2]    lO    ?-

4 j : /WSZII/1 lab/lubi. pl corr.pilea 0.00 sec, 8 clauses

[2] lO ?—    4 j : /WSZII/1 lab/lubi. pl corr.piled 0.00 sec, 6 clauses

[2]    lO    ?-    lubi    (seefan,X) .

X = jabłko (

[2]    11    ?—    lubi(Stefan,czekolada).

[2]    12    ?—    lubi(stefan,jabłko).

tru« .

[2]    13    ?-

4 j : /W3ZII/1 lab/rodzic.pl corr.piled 0.00 sec, 12 clauses [2]    13    ?-    rodzice(s6efan,X,Y).

X = Staszek,

Y    = rr.aria .

[2]    14    ?— rodzice(Stefan,X,_).

X = Staszek.

[2]    15    ?-

ERROR: j:/w.«ii/l l«b/rodsic.pl:12:

Tuli »top in cl*uia-body7 Car.r.ot r«d«£in« , /2

% j:/WSZII/1 lab/rodzic.pl compiled 0.00 sec, 1 clauses % j:/WSZII/1 lab/rodzic.pl compiled 0.00 sec, 2 clauses [2]    15    ?— siosCra(ala,sCefan).

£mlmm.

[2]    16    ?— rodzice(ala).

rodiice/1

:• dafinition* for:

ERROR: (Jr.dafinad procedura: ERROR;    How«c«r, thara l

ERROR:    ro<toic«/3

[2]    17    ?- rodzice(ala,X,Y).