:-dynamic szeret/1, szereti/2.

szereti(jani, bor).
szereti(eva, tej).
arulnak(sarok, bor).
arulnak(tejbolt, tej).


/*
Kérdezze meg, hogy kik az emberek, mik az italok, ki hol vásárol, 
majd hívja meg az alábbi eljárásokat,
és újra kérdezze meg, hogy kik az emberek, mik az italok, ki hol vásárol.:
*/



egy   :- assert(ember(X) :- szereti(X,_)).

ketto :- assert(ital(X):-szereti(_,X)).

harom :- assert(vasarol(X,Hely) :- (szereti(X,Y), arulnak(Hely,Y))).


/*
Vagyis: az assert eljárással nem csak adatot, hanem szabályt is be lehet szúrni.
A beszúrható szabály A :- B. szerkezetű. Ha tehát bonyolultabbat akarunkt beszúrni, 
akkor zárójeleznünk kell.

*/
