?- steals(badguy,X). X = gold Yes ?- steals(merlyn,X). No