a :- not b.
b :- not a.
newEvents.
c.
newEvents.
not a.
a :- not b.
b :- not a.
newEvents.
c.
newEvents.
not b.
1
det.
dom(0).
c(X) :- dom(X), det.
a(X) :- dom(X), not b(X), not det.
b(X) :- dom(X), not a(X), not det.
not det.
assert(assert(not c(X) :-) :- a(X)) :- dom(X).
assert(assert(d(X) :-) :- b(X)) :- dom(X).
not det.
det.
1012c(0)c(0)c(0)0
d(1). d(2).
a(1, bam, bang).
a(X, 2, 3) :- d(X), not b(f(X), X, bla).
b(f(X), X, bla) :- d(X), not a(X, 2, 3).
b(X, Y, Z)XYZa(X, Y, Z)XYZa(X, Y, Z)Xa(X, Y, Z)X1Ydatabase1
prog1.
database2
prog2.
database1database2database1database2database1database2
#domain _customer(C).
#domain _drink(T).
#domain _meal(M).
#domain _meal(M2).
#domain _drink(Dr).
#domain _drink(Dr2).
#domain _for_sale(F).
_customer(jack).
_customer(jill).
_coke(coca_cola).
_coke(pepsi_cola).
_made_by(coca_cola, coca_cola_company).
_made_by(sprite, coca_cola_company).
_drink(X) :- _coke(X).
_drink(sprite).
_burger(hamburger).
_burger(cheeseburger).
_burger(chicken_burger).
_salad(plain_salad).
_salad(chicken_salad).
_meal(X) :- _burger(X).
_meal(X) :- _salad(X).
_for_sale(Dr).
_for_sale(M).
_good(C, F) :- _order(C), _good(F).
get_drink(C, Dr) :- _order(C), _good(C, Dr), not _get_other_drink(C, Dr).
_get_other_drink(C, Dr) :- get_drink(C, Dr2), neq(Dr, Dr2).
get_meal(C, M) :- _order(C), _good(C, M), not _get_other_meal(C, M).
_get_other_meal(C, M) :- get_meal(C, M2), neq(M, M2).
% manager says:
_good(Dr) :- _coke(Dr).
_good(M) :- _burger(M).
_order(jack).
% manager decides only drinks made by coca cola are good
assert(not _good(Dr) :-) :- not _made_by(Dr, coca_cola_company).
_order(jill).
% customer 1 decides he doesn't want hamburgers
assert(not _good(jack, hamburger) :-).
_order(jack).
% jill decides salads are good for her
assert(_good(jill, M) :-) :- _salad(M).
% and that she wants no other meals than salads
assert(not _good(jill, M) :-) :- not _salad(M).
_order(jill).
101get_drink(jill, coca_cola)get_drink(jill, coca_cola)XXXX