prolog - 不断收到单例变量错误

Question

我是初学者，使用 swi-Prolog。有人能告诉我为什么这段代码不起作用吗？

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

我不断收到单例变量 [X] 错误。谢谢。

Answer 1

谓词中的Xinp和谓词中的 X abc- 是完全不同的变量，没有以任何方式连接。

你可能想要这样的东西：

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).