prolog - シングルトン変数エラーが発生し続ける

Question

私は初心者で、swi-Prolog を使用しています。このコードが機能しない理由を誰か教えてもらえますか?

inp:- write('Enter the string'),nl,read(X),write(X).
abc:- subtract(X,['at','in','to','of'],L),write(L).

Singleton Variable[X] エラーが発生し続けます。ありがとう。

Answer 1

X in inppredicate と X in abcpredicate - まったく異なる変数であり、まったく接続されていません。

おそらく次のようなものが必要です。

inp(X) :- write('Enter the string'),nl,read(X),write(X).
abc(X) :- subtract(X,['at','in','to','of'],L),write(L).

そして、のように使用しinp(X), abc(X)ます。