3

このパズルを解くために、プロローグで 10 個の事実を定義するという宿題があります。

Five translators are working in an international organization:
Spaniard, Englishman, Frenchman, German and Russian.
Each of them speaks its native language and also two
languages from the native languages of other translators. Find
the languages speaked by each translator if it is known that
1. The Englishman speaks German.
2. The Spaniard speaks French.
3. The German does not speak Spanish.
4. The Frenchman does not speak German.
5. Spaniard and Englishman can talk with each other in German.
6. Englishman and Frenchman can talk with each other in two
languages.
7. Four translators speak Russian.
8. Exactly two translators speak French.
9. Only one translator who speaks Spanish speaks also Russian.
10. Russian and Englishman have no common languages except
their native languages.

すでに 8 つの制約を定義しており、解空間を 15 に減らしています。しかし、最後の 2 つの事実を定義する方法がわかりません。

% lahendusstruktuur
structure(
  [translator(inglane,_,_,inglise),
   translator(sakslane,_,_,saksa),
   translator(hispaanlane,_,_,hispaania),
   translator(prantslane,_,_,prantsuse),
   translator(venelane,_,_,vene)]).

% abipredikaadid
nationality(translator(B,_,_,_),B).
language1(  translator(_,B,_,_),B).
language2(  translator(_,_,B,_),B).
native_language(
            translator(_,_,_,B),B).

% keelte faktid (andmebaas)
possible_language(vene).
possible_language(inglise).
possible_language(hispaania).
possible_language(prantsuse).
possible_language(saksa).

% tabeli täitmine
solve(S):-
    structure(S),
    fill_structure(S),
    fact1(S),
    fact2(S),
    fact3(S),
    fact4(S),
    fact5(S),
    fact6(S),
    fact7(S),
    fact8(S),
    %fact9(S),
    %fact10(S),
    true.

fill_structure([A,B,C,D,E]):-
    fill_line(A,inglane),
    fill_line(B,sakslane),
    fill_line(C,hispaanlane),
    fill_line(D,prantslane),
    fill_line(E,venelane).

fill_line(X,Nationality):-
    nationality(X,Nationality),
    possible_language(Keel1),
    language1(X,Keel1),
    possible_language(Keel2),
    language2(X,Keel2),
    native_language(X,Native),
    Keel1\=Native,
    Keel2\=Native,
    Keel1 @> Keel2.

% keelte generaator
speaks(Nationality,Language,S):-
    member(X,S),
    nationality(X,Nationality),
    language(X,Language).

language(X,L):-native_language(X,L).
language(X,L):-language1(X,L).
language(X,L):-language2(X,L).

% faktid 1-10
%1. The Englishman speaks German.
fact1(X):-
   speaks(inglane,saksa,X).
%2. The Spaniard speaks French.
fact2(X):-
   speaks(hispaanlane,saksa,X).
%3. The German does not speak Spanish.
fact3(X):-
   \+speaks(sakslane,hispaania,X).

% The Frenchman does not speak German.
fact4(X):-
     \+speaks(prantslane,saksa,X).

% Spaniard and Englishman can talk with each other in German.
fact5(X):-
  speaks(hispaanlane,saksa,X),
  speaks(inglane,saksa,X).

%6. Englishman and Frenchman can talk with each other in two languages.
fact6(X):-
    findall(Keel,
      (
      speaks(inglane,Keel,X),
      speaks(prantslane,Keel,X)
      ),
      Keelte_hulk),
      Keelte_hulk=[_,_].

%% Four translators speak Russian.
fact7(X):-
  findall(Inimene,
  (
  speaks(Inimene,vene,X),
  speaks(Inimene,vene,X),
  speaks(Inimene,vene,X),
  speaks(Inimene,vene,X)),Inimeste_hulk),
  Inimeste_hulk=[_,_,_,_].
 /*
  (speaks(inglane,vene,X), 
  speaks(sakslane, vene,X), 
  speaks(hispaanlane, vene,X), 
  \+ speaks(prantslane, vene,X));
  (speaks(inglane,vene,X), 
  speaks(sakslane, vene,X), 
  \+speaks(hispaanlane, vene,X), 
  speaks(prantslane, vene,X));
  (speaks(inglane,vene,X), 
  \+speaks(sakslane, vene,X), 
  speaks(hispaanlane, vene,X), 
  speaks(prantslane, vene,X));
  (speaks(inglane,vene,X), 
  \+speaks(sakslane, vene,X), 
  speaks(hispaanlane, vene,X), 
  speaks(prantslane, vene,X)). */

  %Exactly two translators speak French.
fact8(X):-
    findall(Inimene,
  (
  speaks(Inimene,prantsuse,X),
  speaks(Inimene,prantsuse,X)),Inimeste_hulk),
  Inimeste_hulk=[_,_].

たとえば、ファクト10に対してそのようなソリューションを試しました。

   fact10(X):-
     speaks(inglane,inglise,X), speaks(venelane,inglise,X),
     speaks(venelane,inglise,X), speaks(venelane,vene,X),
     \=(speaks(inglane,hispaania,X),speaks(venelane, hispaania,X),
     \=(speaks(inglane,prantsuse,X),speaks(venelane, prantsuse,X),
     \=(speaks(inglane,saksa,X),speaks(venelane,saksa,X).

これによりソリューション スペースが縮小されますが、その後も、縮小されたソリューション セットに含めるべきではない要素が含まれています。

この関数を使用して、ソリューション セットのサイズを取得しています

findall(_, solve(X), Solutions), length(Solutions,N).

そして、これはソリューションセット要素の場合

solve(X).

この 2 つの事実をどのように説明すればよいか、私には考えが残っていません。誰かが助けることができれば、私はそれを感謝します:)。

私の英語で申し訳ありませんが、それは私の母国語ではありません。

4

2 に答える 2

0

この関係は、ルール 9 の問題を解決すると思います: http://www.swi-prolog.org/pldoc/man?predicate=bagof%2f3

何かのようなもの

bagof(Translator,(some condition, possibly with commas or semicolons in it, 
                  verifying that Translator speaks those two languages), 
      Translators),

ここのbagof句

  • 関心のあるものの種類を表す変数 (最初の引数) を識別します
  • Prologができる方法で解決するために、その変数を含む条件を設定します
  • その条件が適用されるすべての変数をリストに収集します (3 番目の引数)

次に、リストの長さが 1 であることを確認します。

宿題をしたくないので、条件は記入しませんが、キリンを飼っていてウォッカを飲むすべての翻訳者を探している場合は、次のようになります。

(has(Translator,giraffe),drinks(Translator,vodka))

bagof は条件 10 にも使用できます。

于 2014-11-20T06:51:38.200 に答える