prolog - Prolog 返回数字而不是单词

Question

我试图通过变量返回一个值，A例如loves，但是我得到的结果_382却是。

这是查询：?- checksyn(likes,Result).

我想Result回来loves，不是_628。没有约束力吗？我不确定。

这是代码...

synonym(loves,[likes,adores]).
synonym(challenge,[problem]).

checksyn(X,A):-
      synonym(_,[X|_])
   ;  synonym(_,[_|X]),
      synonym(A,[X|_]),
      synonym(A,[_|X]).

在此先感谢您的帮助:)