我试图通过变量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]).
提前感谢您的任何帮助：）