prolog - Prologの述語を修正する方法は？

Question

私は次のプロローグコードを持っています：

predicates
like(string)
clauses
 like(apple).
like(girl).

q :- like(A),write(A).

goal q.

2つの解決策を得る方法は？

Answer 1

findall述語を使用する http://cs.union.edu/~striegnk/learn-prolog-now/html/node96.html

domains
Z = symbol*

predicates
like(symbol)
q(symbol)

clauses
like(apple).
like(girl).
q(A) :- like(A).

goal findall(X,q(X),Z),write(Z).

または失敗を使用する

domains
Z = symbol*

predicates
like(symbol)

clauses
like(apple).
like(girl).

goal like(X),write(X),nl,fail.