thief(merlyn).
?- steals(merlyn,X).

Yes