welcome: please sign in
location: attachment:Strategic-Companies-ENCODING.txt of OfficialProblemSuite

Attachment 'Strategic-Companies-ENCODING.txt'

Download

   1 strategic(X1) | strategic(X2) | strategic(X3) | strategic(X4) :- produced_by(X,X1,X2,X3,X4).
   2 strategic(W) :- controlled_by(W,X1,X2,X3,X4), strategic(X1), strategic(X2), strategic(X3), strategic(X4).
   3 
   4 strategic_pair(X,Y) :- strategic(X), strategic(Y).
   5 non_strategic_pair(X,Y) :- company(X), company(Y), not strategic_pair(X,Y).
   6 
   7 company(X1) :- produced_by(X,X1,X2,X3,X4).
   8 company(X2) :- produced_by(X,X1,X2,X3,X4).
   9 company(X3) :- produced_by(X,X1,X2,X3,X4).
  10 company(X4) :- produced_by(X,X1,X2,X3,X4).
  11 company(W) :- controlled_by(W,X1,X2,X3,X4).
  12 company(X1) :- controlled_by(W,X1,X2,X3,X4).
  13 company(X2) :- controlled_by(W,X1,X2,X3,X4).
  14 company(X3) :- controlled_by(W,X1,X2,X3,X4).
  15 company(X4) :- controlled_by(W,X1,X2,X3,X4).

Attached Files

You are not allowed to attach a file to this page.