Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
以下に、このかなり単純な問題があります。答えなければなりません。
crossword(V1, H1) :- word(V1, X, X, X), word(H1, X, X, X).
この規則の制約を満たす妥当な単語はありますか?
これを見た私の反応は、3 文字の単語に対する 3 つの制約は確かに「合理的」ではなく、私の知る限りそのような単語は存在しないということです。
これを言うのは正しいでしょうか?
いいえ、あなたは正しくありません。
Word/4 のルールを定義するまでは、制約は何でもかまいませんが、確実に 3 つの制約を満たすことができます。
お気に入り
word(Var,A,B,C):- A=c,B=a,C=t.
答えてほしい質問をしていてよろしいですか?
word/4 のルール (および場合によっては事実) を定義しないと意味がありません