prolog - プロローグ述語

Question

私は現在、Prolog の述語ロジックについて学習しています。このトピックに関する質問に答えるのに苦労しており、Prolog述語を使用してそのような質問を解決するための手順を知りたい. 2 つの異なる述語名のみを使用して Prolog 述語で表現する必要があるシナリオがあります。

1. AとBは結婚している
2. BはCが好き
3. CとDは結婚している
4. DはEが好き
5. FはBが好き
6. EはBが好き
7. EとGは結婚している
8. AはGが好き

Answer 1

それが何を言っているのかを書き留めてください。

are_married(a,b).

likes(b,c).

等々。これまで述語の 2 つの名前を使用してきました。

Prolog では、アトムは小文字で始まる識別子で表されます。大文字またはアンダースコアで始まる識別子は、_論理変数を示します。