下面我有这个相当简单的问题，我必须回答：
crossword(V1, H1) :- word(V1, X, X, X), word(H1, X, X, X).
任何合理的词都能满足此规则中的约束吗？
我对这一点的回应就是说，对三个字母单词的三重约束肯定不是“合理的”，而且我的知识中没有这样的单词。
这样说我是否正确？
答案 0 :(得分：0)
不，你不对。
在为Word / 4定义规则之前，约束可以是任何东西，并且肯定有一组可以满足的3个约束。
喜欢
word(Var,A,B,C):- A=c,B=a,C=t.
您确定要问的是您想要回答的问题吗？
crossword(V1, H1) :- word(V1, X, X, X), word(H1, X, X, X).
在没有为word / 4
定义规则（以及可能的事实）的情况下没有任何意义