syntax - Prolog でセミコロンを自動化する方法

Question

クラスで Prolog について学んでいて、解決策がなくなるまでセミコロン キーを自動的に押す方法を教えてもらいました。Google で検索してみましたが、findall表示されていないものを使用した例が表示されます。;Prolog シェルを自動的に押す他の方法はありますか?

たとえば、;繰り返し押すことなくすべてのソリューションを表示します。

X = one ;
X = two ;
X = three ;
X = four.

Answer 1

member/2for exemplifyingを使用した簡単な解決策はfail/0、ゴールの後に述語を使用することです。

?- member(X, [1,2,3]), writeq(X), nl, fail.
1
2
3
false.