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

意味着什麼，但沒有設定字規則（也可能是事實）/ 4