DOMAINS
	name=string
PREDICATES
	/* nondeterm love_fruit(name, name) task (a) */
	nondeterm love_fruit(name, name)
	nondeterm love_candies(name, name)
	nondeterm love(name, name)
	nondeterm love_good(name, name)
	fruit(name)
	candy(name)
CLAUSES
	love("Anna", apple).
	love("Sergey", bananna).
	love("Andrey", apple).
	love("Sveta", choco).
	love("Vova", choco).
	love("Anna", choco).
	love("Sveta", orange).
	love("Vova", bananna).
	fruit(apple).
	fruit(bananna).
	fruit(orange).
	candy(choco).
	/* love_fruit(X, Y):-love(X, Y), fruit(Y).  task (a) */
	love_fruit(X, Y):-love(X, Y), fruit(Y).
	love_candies(X, Y):-love(X, Y), candy(Y).
	love_good(X, Y):-love(X, Y), fruit(Y), love(X, choco).
GOAL
	love_good(X, Y).