prolog - Prolog 填字游戏约束

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 定义规则（可能还有事实），则意味着什么