17 Mar 2005
CS 3243 - Logical Inference
74
A Singaporean example
llikes(hari,X) :- makan(X), consumes(hari,X).
llikes(min,X) :- likes(hari,X).
lmakan(meeSiam).
lmakan(rojak).
lminum(rootBeerFloat).
lconsumes(hari,meeSiam).
l
likes(hari,X1)
likes(min,X)
makan(X2), consumes(hari,X2)
consumes(hari,rojak).
consumes(hari,meeSiam).
Fail
X = X1
X1 = X2
X2 = meeSiam
X2 = rojak