Prolog-Crossword约束

Question

下面我有一个相当简单的问题，我必须回答：

crossword(V1, H1) :- word(V1, X, X, X), word(H1, X, X, X).

任何合理的词都能满足这条规则中的约束吗？

我对此的反应是，对一个三个字母的单词进行三重约束肯定是不合理的，据我所知，也不存在这样的单词。

我这样说对吗？

Answer 1

不你说的不对。

在您为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