ありがとうございます。早速やってみたんですが、以下のようになってしまいました。処理系はSWI-Prologです。

$ cat try.swi
likes(shinichi,ran).
likes(V,W) :- likes(U,W), identicalPerson(U,V).
likes(V,W) :- likes(U,W), identicalPerson(V,U).
identicalPerson(konan,shinichi).
$ prolog -s try.swi
[中略]
?- likes(konan,X).
ERROR: Out of local stack
Exception: (27,926) likes(_L502743, _G158) ?（←デバッグモードにはいった？）

何かもうひと工夫いるのでしょうか。