welcome: please sign in
location: Prologの添付ファイル:8queen.pl

添付ファイル '8queen.pl'

ダウンロード

   1 main :- 
   2     queen(1,Board),
   3     queen(2,Board),
   4     queen(3,Board),
   5     queen(4,Board),
   6     queen(5,Board),
   7     queen(6,Board),
   8     queen(7,Board),
   9     queen(8,Board),
  10     write(Board).
  11 queen(Q,[Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x]).
  12 queen(Q,[x,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_]).
  13 queen(Q,[x,x,Q,x,x,x,x,x,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_]).
  14 queen(Q,[x,x,x,Q,x,x,x,x,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_]).
  15 queen(Q,[x,x,x,x,Q,x,x,x,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,x,x,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_]).
  16 queen(Q,[x,x,x,x,x,Q,x,x,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_]).
  17 queen(Q,[x,x,x,x,x,x,Q,x,_,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_]).
  18 queen(Q,[x,x,x,x,x,x,x,Q,_,_,_,_,_,_,x,x,_,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,_,x,x,_,_,_,_,_,_,x]).
  19 queen(Q,[x,x,_,_,_,_,_,_,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_]).
  20 queen(Q,[x,x,x,_,_,_,_,_,x,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x]).
  21 queen(Q,[_,x,x,x,_,_,_,_,x,x,Q,x,x,x,x,x,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_]).
  22 queen(Q,[_,_,x,x,x,_,_,_,x,x,x,Q,x,x,x,x,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_]).
  23 queen(Q,[_,_,_,x,x,x,_,_,x,x,x,x,Q,x,x,x,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,x,x,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_]).
  24 queen(Q,[_,_,_,_,x,x,x,_,x,x,x,x,x,Q,x,x,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_]).
  25 queen(Q,[_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,x,_,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,_,x,_]).
  26 queen(Q,[_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,_,_,_,_,_,_,x,x,_,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,_,x]).
  27 queen(Q,[x,_,x,_,_,_,_,_,x,x,_,_,_,_,_,_,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_]).
  28 queen(Q,[_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,_,x,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_]).
  29 queen(Q,[x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,x,x,Q,x,x,x,x,x,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x]).
  30 queen(Q,[_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,x,x,x,Q,x,x,x,x,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_]).
  31 queen(Q,[_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,x,x,x,x,Q,x,x,x,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,x,x,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_]).
  32 queen(Q,[_,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,x,x,x,x,x,Q,x,x,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,_]).
  33 queen(Q,[_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,x,_,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_]).
  34 queen(Q,[_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,_,_,_,_,_,_,x,x,_,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x]).
  35 queen(Q,[x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,_,x,x,_,_,_,_,_,_,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_]).
  36 queen(Q,[_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,_,x,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_]).
  37 queen(Q,[_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,x,x,Q,x,x,x,x,x,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_]).
  38 queen(Q,[x,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,x,x,x,Q,x,x,x,x,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x]).
  39 queen(Q,[_,x,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,x,x,x,x,Q,x,x,x,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,x,x,_,_,_,x,_,_,_]).
  40 queen(Q,[_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,x,x,x,x,x,Q,x,x,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_]).
  41 queen(Q,[_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,x,_,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_]).
  42 queen(Q,[_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,_,_,_,_,_,_,x,x,_,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x]).
  43 queen(Q,[x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,_,x,x,_,_,_,_,_,_,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_]).
  44 queen(Q,[_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,_,x,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_]).
  45 queen(Q,[_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,x,x,Q,x,x,x,x,x,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_]).
  46 queen(Q,[_,_,_,x,_,_,_,x,x,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,x,x,x,Q,x,x,x,x,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,x,_]).
  47 queen(Q,[x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,x,x,x,x,Q,x,x,x,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_,x]).
  48 queen(Q,[_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,x,x,x,x,x,Q,x,x,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,x,_,_,x,_,_]).
  49 queen(Q,[_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,x,_,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_]).
  50 queen(Q,[_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,_,_,_,_,_,_,x,x,_,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x]).
  51 queen(Q,[x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,_,x,x,_,_,_,_,_,_,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_,_]).
  52 queen(Q,[_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,_,x,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_,x,_,x,_,_,_,_]).
  53 queen(Q,[_,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,x,x,Q,x,x,x,x,x,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_,_]).
  54 queen(Q,[_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,x,x,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,x,x,x,Q,x,x,x,x,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_,_]).
  55 queen(Q,[_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,x,x,x,x,Q,x,x,x,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x,_]).
  56 queen(Q,[x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,x,x,x,x,x,Q,x,x,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_,x]).
  57 queen(Q,[_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,x,_,_,_,_,_,x,x,x,_,_,_,_,x,_,x,_]).
  58 queen(Q,[_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,_,_,_,_,_,_,x,x,_,_,_,_,_,x,_,x]).
  59 queen(Q,[x,_,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,_,x,x,_,_,_,_,_,_,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_,_]).
  60 queen(Q,[_,x,_,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,_,x,Q,x,x,x,x,x,x,x,x,x,_,_,_,_,_]).
  61 queen(Q,[_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,x,x,Q,x,x,x,x,x,_,x,x,x,_,_,_,_]).
  62 queen(Q,[_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,x,x,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,x,x,x,Q,x,x,x,x,_,_,x,x,x,_,_,_]).
  63 queen(Q,[_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,x,x,x,x,Q,x,x,x,_,_,_,x,x,x,_,_]).
  64 queen(Q,[_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,x,x,x,x,x,Q,x,x,_,_,_,_,x,x,x,_]).
  65 queen(Q,[x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,x,_,_,_,_,_,x,x,x]).
  66 queen(Q,[_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,_,_,_,_,_,_,x,x]).
  67 queen(Q,[x,_,_,_,_,_,_,x,x,_,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,_,x,x,_,_,_,_,_,_,Q,x,x,x,x,x,x,x]).
  68 queen(Q,[_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,_,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,_,x,Q,x,x,x,x,x,x]).
  69 queen(Q,[_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,x,_,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,_,x,x,Q,x,x,x,x,x]).
  70 queen(Q,[_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,x,x,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,_,x,x,x,Q,x,x,x,x]).
  71 queen(Q,[_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,x,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,_,x,x,x,x,Q,x,x,x]).
  72 queen(Q,[_,_,_,_,_,x,_,_,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,x,_,_,_,_,x,x,x,_,x,x,x,x,x,Q,x,x]).
  73 queen(Q,[_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q,x]).
  74 queen(Q,[x,_,_,_,_,_,_,x,_,x,_,_,_,_,_,x,_,_,x,_,_,_,_,x,_,_,_,x,_,_,_,x,_,_,_,_,x,_,_,x,_,_,_,_,_,x,_,x,_,_,_,_,_,_,x,x,x,x,x,x,x,x,x,Q]).

添付ファイル

添付ファイルを参照するには、(下のファイル一覧にあるように)attachment:filenameと記述します。 [get]リンクのURLは変更される可能性が高いので、利用しないでください。
 All files | Selected Files: delete move to page copy to page

ファイルを添付する権限がありません。