不断收到Singleton变量错误

Question

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

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

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

Answer 1

X在inp谓词和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)。