blocks.lp,38
const grippers=1,0
:- 2 { on(33,654

queens1.lp,10
% q(3,39

queens2a.lp,84
% by Ilkka NiemelĂNiemel
1,0
:- d(X;Y;6,84
:- d(X;Y;X1;6,84
:- d(X;Y;X1;Y1)6,84

queens2b.lp,133
% by Ilkka NiemelĂNiemel
1,0
:- d(X;Y;6,84
:- d(X;Y;X1;6,84
:- d(X;Y;X1;Y1)6,84
:- d(X;Y;X1;Y1), q(X,Y), q(X1,Y1), X<X1,X1
6,84

queens2c.lp,231
1 { q(2,1
:- d(X;Y;5,64
:- d(X;Y;X1;5,64
:- d(X;Y;X1;Y1)5,64
:- d(X;Y;X1;Y1), q(X,Y), q(X1,Y1), X<X1,X1
5,64
:- d(X;Y;X1;Y1), q(X,Y), q(X1,Y1), X<X1,  Y<Y1,Y1
5,64
:- d(X;Y;X1;Y1), q(X,Y), q(X1,Y1), X<X1,  Y<Y1, X1-X X
5,64

queens3.lp,54
1 { q(1,0
:- d(X), 2 { q(4,63
:- d(X), 2 { q(6,201

queens4.lp,51
1 { q(1,0
:- dd(X), 2 { q(4,63
dd(X) :- X=7,238

queens5a.lp,48
% #const queens 2,1
1 { q(13,230
 { q(17,338

queens5b.lp,41
1 { q(10,143
 :- diag(D), 2 { q(13,206

queens5c.lp,39
1 { q(7,65
 :- diag(D), 2 { q(10,128

queens5d.lp,39
1 { q(7,65
 :- diag(D), 2 { q(13,197

queens6a.lp,183
% from University of Kentucky1,0
:- d(X;X+I;I
6,96
:- d(X;X+I;I;6,96
:- d(X;X+I;I;Y)6,96
:- d(X;X+I;I
7,133
:- d(X;X+I;I;7,133
:- d(X;X+I;I;Y;7,133
:- d(X;X+I;I;Y;Y-I)I
7,133

queens6b.lp,7

2,49

queens7.lp,160
:- q(X,Y1), q(X,Y2), Y1!=Y2, d(X;Y1;7,108
:- q(X1,Y), q(X2,Y), X1!=X2, d(X1;X2;8,149
   X1!=X2, Y1!=Y2, d(X1;Y1;10,239
   X1!=X2, Y1!=Y2, d(X1;Y1;X2;10,239

3color-smodels.lp,0

3color.lp,0

3color-dlv.lp,0

3colorD.lp,0