predicates
can_eat(symbol)
veg(symbol)
docter_list(symbol)
clauses
can_eat(Food):-veg(Food),docter_list(Food).
veg(rice).
veg(kako).
veg(keywe).
veg(tomaitos).
veg(apple).
veg(banana).
veg(tea).
veg(potatos).
veg(orang).
docter_list(banana).
docter_list(apple).
docter_list(potatos).
docter_list(tea).
docter_list(orange).
goal
can_eat(apple).