zad 1,2

Hel ccn:.e to 3WI — Paro log (Multi-thceaded; 32 bita_f Vezsion 6.2.6} Copyright; (c)    19 90—2 012 Unitrersicy o£ Arr.s terdant; VU Air.3terdam

SWI -Pro 1 og corr.es with ?.330LjUTELY NO WARRANTY. This is free software, and you are waleame e a rediseribuce it -tan.de: ar eertaa« eoRditiop.s. Pleaae ?isit hfcfcp : //ww . a-wi-prolog. org £oar dctaila.

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

1 ?-

4 j :/H3ZII/l lab/ltabi.pl corr.pilcd 0.00 sec, -5 clauaes

1    7— lubi (jarek,piwo) _ tmlmmr

2    9 — lubi ( kas la , hairburger )

Aetion    (h    for    help)    7    UnŁnown    opcion    (h    for    help)

Acbion    <h    £or    help)    3    Unkr.own    opbion    {h    for    help)

Action    (h    for    help)    ?    break

4 BresŁ    1 e Trel    1

[13    2    3 — 1-abi (ka3ia_f harrb-jrger) .

fnw.

[13    3 3- lubi(kasia,X).

X ■= piwo *

X = fciaznb-u.ręrex.

[13    4    ?-    lubi(ka=ia,X).

X ■= piwo ,

[13    S-    ?-    I-ibi (ka5ia,X)    .

X = piwo *

X = nairburger.

[13    6    ?-    I-ibi (kaaia,X)    .

X =    piwo    *

X = harr_t)urger _

[13    7    ?-    1'ibi (kaaia,X)    .

X = piwo

UnJcnown o ction:    f Ch for help)

ActioR?

4 Break IctcI 2 [23    5    ?-    lubi(X,jablko).

X — jarek _

[2 3    9    ?-    1 taks i (X, Y) .

X — jarek,

Y    — jabłko f X — jarek _r

Y    = gruszka e

X — kaaia;

Y    = piwo *

X — kasla,

Y    — haffi-jr ger .

[23 lO 3-

4 j :/W3ZII/l lab/lubi _ pl c orr.p iled 0.00 sec, S elauses [2 3 lO 3-    4 j : / WSZII/1 lab/lubi.pl coir.piled 0.00 see, 6 ela-ases

[23 lO 3- lubi(ate£aa,X}.

X = j ab 1 k o je

filii.

[23 11 3- lubi(ate£an,czekolada).

iales.

[23 i

3— 1-abi (stafan, jabłko) .