Encoding consequence_persistent_true_fluent_cell_38whiteknight___.lp

Name	consequence_persistent_true_fluent_cell_3__8__whiteknight___.lp
Class Tree	[Root] General Game Playing (982) Dresden (927) capture_the_king (20)
Submitter	Marius Schneider
Author	Stephan Schiffel
Description
Created	2010-03-01 10:39
Modified	2010-03-01 10:39
Languages	Gringo 2.0.2
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	Yes
Tags
Attributes
Content	:- d_does(V1, V2), not d_legal(V1, V2). 1 [ d_true(control(V3)):argstack_dom_85(V3) ] 1. 1 [ d_does(V1, V2):gen_static_domain_d_legal_1(V1, V2) ] 1 :- d_role(V1). [ d_true(cell(V4, V5, V6)):argstack_dom_69(V4):argstack_dom_100(V5):argstack_dom_19(V6) ]. argstack_dom_1(2). argstack_dom_1(3). argstack_dom_1(4). argstack_dom_1(5). argstack_dom_1(6). argstack_dom_1(7). argstack_dom_1(8). argstack_dom_100(3). argstack_dom_100(4). argstack_dom_100(5). argstack_dom_100(6). argstack_dom_100(1). argstack_dom_100(2). argstack_dom_100(7). argstack_dom_100(8). argstack_dom_19(whitequeen). argstack_dom_19(whiteking). argstack_dom_19(whitebishop). argstack_dom_19(whiteknight). argstack_dom_19(whiterook). argstack_dom_19(whitepawn). argstack_dom_19(blackpawn). argstack_dom_19(blackqueen). argstack_dom_19(blackking). argstack_dom_19(blackbishop). argstack_dom_19(blackknight). argstack_dom_19(blackrook). argstack_dom_20(1). argstack_dom_20(2). argstack_dom_20(3). argstack_dom_20(4). argstack_dom_20(5). argstack_dom_20(6). argstack_dom_20(7). argstack_dom_20(8). argstack_dom_22(7). argstack_dom_22(1). argstack_dom_22(2). argstack_dom_22(3). argstack_dom_22(4). argstack_dom_22(5). argstack_dom_22(6). argstack_dom_32(2). argstack_dom_32(3). argstack_dom_32(4). argstack_dom_32(5). argstack_dom_32(6). argstack_dom_32(7). argstack_dom_32(8). argstack_dom_35(1). argstack_dom_35(2). argstack_dom_35(3). argstack_dom_35(4). argstack_dom_35(5). argstack_dom_35(6). argstack_dom_35(7). argstack_dom_35(8). argstack_dom_4(2). argstack_dom_4(3). argstack_dom_4(4). argstack_dom_4(5). argstack_dom_4(6). argstack_dom_4(7). argstack_dom_4(8). argstack_dom_46(2). argstack_dom_46(3). argstack_dom_46(4). argstack_dom_46(5). argstack_dom_46(6). argstack_dom_46(7). argstack_dom_46(8). argstack_dom_49(7). argstack_dom_49(1). argstack_dom_49(2). argstack_dom_49(3). argstack_dom_49(4). argstack_dom_49(5). argstack_dom_49(6). argstack_dom_59(7). argstack_dom_59(1). argstack_dom_59(2). argstack_dom_59(3). argstack_dom_59(4). argstack_dom_59(5). argstack_dom_59(6). argstack_dom_62(7). argstack_dom_62(1). argstack_dom_62(2). argstack_dom_62(3). argstack_dom_62(4). argstack_dom_62(5). argstack_dom_62(6). argstack_dom_69(1). argstack_dom_69(2). argstack_dom_69(3). argstack_dom_69(4). argstack_dom_69(5). argstack_dom_69(6). argstack_dom_69(7). argstack_dom_69(8). argstack_dom_79(2). argstack_dom_79(3). argstack_dom_79(4). argstack_dom_79(5). argstack_dom_79(6). argstack_dom_79(7). argstack_dom_79(8). argstack_dom_81(7). argstack_dom_81(1). argstack_dom_81(2). argstack_dom_81(3). argstack_dom_81(4). argstack_dom_81(5). argstack_dom_81(6). argstack_dom_85(white). argstack_dom_85(black). argstack_dom_9(2). argstack_dom_9(3). argstack_dom_9(4). argstack_dom_9(5). argstack_dom_9(6). argstack_dom_9(7). argstack_dom_9(8). argstack_dom_99(7). argstack_dom_99(1). argstack_dom_99(2). argstack_dom_99(3). argstack_dom_99(4). argstack_dom_99(5). argstack_dom_99(6). d_bishopmove(V7, V8, V9, V10) :- d_diagonaldownmove(V9, V10, V7, V8). d_bishopmove(V11, V12, V13, V14) :- d_diagonaldownmove(V11, V12, V13, V14). d_bishopmove(V15, V16, V17, V18) :- d_diagonalupmove(V17, V18, V15, V16). d_bishopmove(V19, V20, V21, V22) :- d_diagonalupmove(V19, V20, V21, V22). d_blackpawnmove(V23, V24, V25, V26) :- d_plus(1, V25, V23), d_plus(1, V26, V24), d_celloccupiedby(V25, V26, white). d_blackpawnmove(V27, V28, V29, V30) :- d_plus(1, V27, V29), d_plus(1, V30, V28), d_celloccupiedby(V29, V30, white). d_blackpawnmove(V31, V32, V31, V33) :- d_plus(1, V33, V32), d_cellempty(V31, V33). d_blackpawnmove(V34, 7, V34, 5) :- d_cellempty(V34, 6), d_cellempty(V34, 5). d_cell(8, 8). d_cell(8, 7). d_cell(8, 6). d_cell(8, 5). d_cell(8, 4). d_cell(8, 3). d_cell(8, 2). d_cell(8, 1). d_cell(7, 8). d_cell(7, 7). d_cell(7, 6). d_cell(7, 5). d_cell(7, 4). d_cell(7, 3). d_cell(7, 2). d_cell(7, 1). d_cell(6, 8). d_cell(6, 7). d_cell(6, 6). d_cell(6, 5). d_cell(6, 4). d_cell(6, 3). d_cell(6, 2). d_cell(6, 1). d_cell(5, 8). d_cell(5, 7). d_cell(5, 6). d_cell(5, 5). d_cell(5, 4). d_cell(5, 3). d_cell(5, 2). d_cell(5, 1). d_cell(4, 8). d_cell(4, 7). d_cell(4, 6). d_cell(4, 5). d_cell(4, 4). d_cell(4, 3). d_cell(4, 2). d_cell(4, 1). d_cell(3, 8). d_cell(3, 7). d_cell(3, 6). d_cell(3, 5). d_cell(3, 4). d_cell(3, 3). d_cell(3, 2). d_cell(3, 1). d_cell(2, 8). d_cell(2, 7). d_cell(2, 6). d_cell(2, 5). d_cell(2, 4). d_cell(2, 3). d_cell(2, 2). d_cell(2, 1). d_cell(1, 8). d_cell(1, 7). d_cell(1, 6). d_cell(1, 5). d_cell(1, 4). d_cell(1, 3). d_cell(1, 2). d_cell(1, 1). d_cellempty(V35, 4) :- d_cell(V35, 4), not d_celloccupiedby(V35, 4, black), not d_celloccupiedby(V35, 4, white). d_cellempty(V36, V37) :- d_cell(V36, V37), not d_celloccupiedby(V36, V37, black), not d_celloccupiedby(V36, V37, white). d_celloccupiedby(V38, V39, V40) :- d_true(cell(V38, V39, V41)), d_owns(V41, V40). d_diagonaldownmove(V42, V43, V44, V45) :- d_plus(1, V42, V44), d_plus(1, V45, V43). d_diagonaldownmove(V46, V47, V48, V49) :- d_plus(1, V46, V50), d_plus(1, V51, V47), d_cellempty(V50, V51), d_diagonaldownmove(V50, V51, V48, V49), argstack_dom_59(V49), argstack_dom_32(V48). d_diagonalupmove(V52, V53, V54, V55) :- d_plus(1, V52, V54), d_plus(1, V53, V55). d_diagonalupmove(V56, V57, V58, V59) :- d_plus(1, V56, V60), d_plus(1, V57, V61), d_cellempty(V60, V61), d_diagonalupmove(V60, V61, V58, V59), argstack_dom_1(V59), argstack_dom_79(V58). d_distinctcell(3, 8, 8, 8). d_distinctcell(3, 8, 8, 7). d_distinctcell(3, 8, 8, 6). d_distinctcell(3, 8, 8, 5). d_distinctcell(3, 8, 8, 4). d_distinctcell(3, 8, 8, 3). d_distinctcell(3, 8, 8, 2). d_distinctcell(3, 8, 8, 1). d_distinctcell(3, 8, 7, 8). d_distinctcell(3, 8, 7, 7). d_distinctcell(3, 8, 7, 6). d_distinctcell(3, 8, 7, 5). d_distinctcell(3, 8, 7, 4). d_distinctcell(3, 8, 7, 3). d_distinctcell(3, 8, 7, 2). d_distinctcell(3, 8, 7, 1). d_distinctcell(3, 8, 6, 8). d_distinctcell(3, 8, 6, 7). d_distinctcell(3, 8, 6, 6). d_distinctcell(3, 8, 6, 5). d_distinctcell(3, 8, 6, 4). d_distinctcell(3, 8, 6, 3). d_distinctcell(3, 8, 6, 2). d_distinctcell(3, 8, 6, 1). d_distinctcell(3, 8, 5, 8). d_distinctcell(3, 8, 5, 7). d_distinctcell(3, 8, 5, 6). d_distinctcell(3, 8, 5, 5). d_distinctcell(3, 8, 5, 4). d_distinctcell(3, 8, 5, 3). d_distinctcell(3, 8, 5, 2). d_distinctcell(3, 8, 5, 1). d_distinctcell(3, 8, 4, 8). d_distinctcell(3, 8, 4, 7). d_distinctcell(3, 8, 4, 6). d_distinctcell(3, 8, 4, 5). d_distinctcell(3, 8, 4, 4). d_distinctcell(3, 8, 4, 3). d_distinctcell(3, 8, 4, 2). d_distinctcell(3, 8, 4, 1). d_distinctcell(3, 8, 3, 7). d_distinctcell(3, 8, 3, 6). d_distinctcell(3, 8, 3, 5). d_distinctcell(3, 8, 3, 4). d_distinctcell(3, 8, 3, 3). d_distinctcell(3, 8, 3, 2). d_distinctcell(3, 8, 3, 1). d_distinctcell(3, 8, 2, 8). d_distinctcell(3, 8, 2, 7). d_distinctcell(3, 8, 2, 6). d_distinctcell(3, 8, 2, 5). d_distinctcell(3, 8, 2, 4). d_distinctcell(3, 8, 2, 3). d_distinctcell(3, 8, 2, 2). d_distinctcell(3, 8, 2, 1). d_distinctcell(3, 8, 1, 8). d_distinctcell(3, 8, 1, 7). d_distinctcell(3, 8, 1, 6). d_distinctcell(3, 8, 1, 5). d_distinctcell(3, 8, 1, 4). d_distinctcell(3, 8, 1, 3). d_distinctcell(3, 8, 1, 2). d_distinctcell(3, 8, 1, 1). d_horizontalmove(V62, V63, V64, V63) :- d_plus(1, V62, V64), d_index(V63). d_horizontalmove(V65, V66, V67, V66) :- d_plus(1, V65, V68), d_cellempty(V68, V66), d_horizontalmove(V68, V66, V67, V66), d_index(V66), argstack_dom_46(V67). d_index(8). d_index(7). d_index(6). d_index(5). d_index(4). d_index(3). d_index(2). d_index(1). d_kingmove(8, 8, 8, 7). d_kingmove(8, 8, 7, 8). d_kingmove(8, 8, 7, 7). d_kingmove(8, 7, 8, 8). d_kingmove(8, 7, 8, 6). d_kingmove(8, 7, 7, 8). d_kingmove(8, 7, 7, 7). d_kingmove(8, 7, 7, 6). d_kingmove(8, 6, 8, 7). d_kingmove(8, 6, 8, 5). d_kingmove(8, 6, 7, 7). d_kingmove(8, 6, 7, 6). d_kingmove(8, 6, 7, 5). d_kingmove(8, 5, 8, 6). d_kingmove(8, 5, 8, 4). d_kingmove(8, 5, 7, 6). d_kingmove(8, 5, 7, 5). d_kingmove(8, 5, 7, 4). d_kingmove(8, 4, 8, 5). d_kingmove(8, 4, 8, 3). d_kingmove(8, 4, 7, 5). d_kingmove(8, 4, 7, 4). d_kingmove(8, 4, 7, 3). d_kingmove(8, 3, 8, 4). d_kingmove(8, 3, 8, 2). d_kingmove(8, 3, 7, 4). d_kingmove(8, 3, 7, 3). d_kingmove(8, 3, 7, 2). d_kingmove(8, 2, 8, 3). d_kingmove(8, 2, 8, 1). d_kingmove(8, 2, 7, 3). d_kingmove(8, 2, 7, 2). d_kingmove(8, 2, 7, 1). d_kingmove(8, 1, 8, 2). d_kingmove(8, 1, 7, 2). d_kingmove(8, 1, 7, 1). d_kingmove(7, 8, 8, 8). d_kingmove(7, 8, 8, 7). d_kingmove(7, 8, 7, 7). d_kingmove(7, 8, 6, 8). d_kingmove(7, 8, 6, 7). d_kingmove(7, 7, 8, 8). d_kingmove(7, 7, 8, 7). d_kingmove(7, 7, 8, 6). d_kingmove(7, 7, 7, 8). d_kingmove(7, 7, 7, 6). d_kingmove(7, 7, 6, 8). d_kingmove(7, 7, 6, 7). d_kingmove(7, 7, 6, 6). d_kingmove(7, 6, 8, 7). d_kingmove(7, 6, 8, 6). d_kingmove(7, 6, 8, 5). d_kingmove(7, 6, 7, 7). d_kingmove(7, 6, 7, 5). d_kingmove(7, 6, 6, 7). d_kingmove(7, 6, 6, 6). d_kingmove(7, 6, 6, 5). d_kingmove(7, 5, 8, 6). d_kingmove(7, 5, 8, 5). d_kingmove(7, 5, 8, 4). d_kingmove(7, 5, 7, 6). d_kingmove(7, 5, 7, 4). d_kingmove(7, 5, 6, 6). d_kingmove(7, 5, 6, 5). d_kingmove(7, 5, 6, 4). d_kingmove(7, 4, 8, 5). d_kingmove(7, 4, 8, 4). d_kingmove(7, 4, 8, 3). d_kingmove(7, 4, 7, 5). d_kingmove(7, 4, 7, 3). d_kingmove(7, 4, 6, 5). d_kingmove(7, 4, 6, 4). d_kingmove(7, 4, 6, 3). d_kingmove(7, 3, 8, 4). d_kingmove(7, 3, 8, 3). d_kingmove(7, 3, 8, 2). d_kingmove(7, 3, 7, 4). d_kingmove(7, 3, 7, 2). d_kingmove(7, 3, 6, 4). d_kingmove(7, 3, 6, 3). d_kingmove(7, 3, 6, 2). d_kingmove(7, 2, 8, 3). d_kingmove(7, 2, 8, 2). d_kingmove(7, 2, 8, 1). d_kingmove(7, 2, 7, 3). d_kingmove(7, 2, 7, 1). d_kingmove(7, 2, 6, 3). d_kingmove(7, 2, 6, 2). d_kingmove(7, 2, 6, 1). d_kingmove(7, 1, 8, 2). d_kingmove(7, 1, 8, 1). d_kingmove(7, 1, 7, 2). d_kingmove(7, 1, 6, 2). d_kingmove(7, 1, 6, 1). d_kingmove(6, 8, 7, 8). d_kingmove(6, 8, 7, 7). d_kingmove(6, 8, 6, 7). d_kingmove(6, 8, 5, 8). d_kingmove(6, 8, 5, 7). d_kingmove(6, 7, 7, 8). d_kingmove(6, 7, 7, 7). d_kingmove(6, 7, 7, 6). d_kingmove(6, 7, 6, 8). d_kingmove(6, 7, 6, 6). d_kingmove(6, 7, 5, 8). d_kingmove(6, 7, 5, 7). d_kingmove(6, 7, 5, 6). d_kingmove(6, 6, 7, 7). d_kingmove(6, 6, 7, 6). d_kingmove(6, 6, 7, 5). d_kingmove(6, 6, 6, 7). d_kingmove(6, 6, 6, 5). d_kingmove(6, 6, 5, 7). d_kingmove(6, 6, 5, 6). d_kingmove(6, 6, 5, 5). d_kingmove(6, 5, 7, 6). d_kingmove(6, 5, 7, 5). d_kingmove(6, 5, 7, 4). d_kingmove(6, 5, 6, 6). d_kingmove(6, 5, 6, 4). d_kingmove(6, 5, 5, 6). d_kingmove(6, 5, 5, 5). d_kingmove(6, 5, 5, 4). d_kingmove(6, 4, 7, 5). d_kingmove(6, 4, 7, 4). d_kingmove(6, 4, 7, 3). d_kingmove(6, 4, 6, 5). d_kingmove(6, 4, 6, 3). d_kingmove(6, 4, 5, 5). d_kingmove(6, 4, 5, 4). d_kingmove(6, 4, 5, 3). d_kingmove(6, 3, 7, 4). d_kingmove(6, 3, 7, 3). d_kingmove(6, 3, 7, 2). d_kingmove(6, 3, 6, 4). d_kingmove(6, 3, 6, 2). d_kingmove(6, 3, 5, 4). d_kingmove(6, 3, 5, 3). d_kingmove(6, 3, 5, 2). d_kingmove(6, 2, 7, 3). d_kingmove(6, 2, 7, 2). d_kingmove(6, 2, 7, 1). d_kingmove(6, 2, 6, 3). d_kingmove(6, 2, 6, 1). d_kingmove(6, 2, 5, 3). d_kingmove(6, 2, 5, 2). d_kingmove(6, 2, 5, 1). d_kingmove(6, 1, 7, 2). d_kingmove(6, 1, 7, 1). d_kingmove(6, 1, 6, 2). d_kingmove(6, 1, 5, 2). d_kingmove(6, 1, 5, 1). d_kingmove(5, 8, 6, 8). d_kingmove(5, 8, 6, 7). d_kingmove(5, 8, 5, 7). d_kingmove(5, 8, 4, 8). d_kingmove(5, 8, 4, 7). d_kingmove(5, 7, 6, 8). d_kingmove(5, 7, 6, 7). d_kingmove(5, 7, 6, 6). d_kingmove(5, 7, 5, 8). d_kingmove(5, 7, 5, 6). d_kingmove(5, 7, 4, 8). d_kingmove(5, 7, 4, 7). d_kingmove(5, 7, 4, 6). d_kingmove(5, 6, 6, 7). d_kingmove(5, 6, 6, 6). d_kingmove(5, 6, 6, 5). d_kingmove(5, 6, 5, 7). d_kingmove(5, 6, 5, 5). d_kingmove(5, 6, 4, 7). d_kingmove(5, 6, 4, 6). d_kingmove(5, 6, 4, 5). d_kingmove(5, 5, 6, 6). d_kingmove(5, 5, 6, 5). d_kingmove(5, 5, 6, 4). d_kingmove(5, 5, 5, 6). d_kingmove(5, 5, 5, 4). d_kingmove(5, 5, 4, 6). d_kingmove(5, 5, 4, 5). d_kingmove(5, 5, 4, 4). d_kingmove(5, 4, 6, 5). d_kingmove(5, 4, 6, 4). d_kingmove(5, 4, 6, 3). d_kingmove(5, 4, 5, 5). d_kingmove(5, 4, 5, 3). d_kingmove(5, 4, 4, 5). d_kingmove(5, 4, 4, 4). d_kingmove(5, 4, 4, 3). d_kingmove(5, 3, 6, 4). d_kingmove(5, 3, 6, 3). d_kingmove(5, 3, 6, 2). d_kingmove(5, 3, 5, 4). d_kingmove(5, 3, 5, 2). d_kingmove(5, 3, 4, 4). d_kingmove(5, 3, 4, 3). d_kingmove(5, 3, 4, 2). d_kingmove(5, 2, 6, 3). d_kingmove(5, 2, 6, 2). d_kingmove(5, 2, 6, 1). d_kingmove(5, 2, 5, 3). d_kingmove(5, 2, 5, 1). d_kingmove(5, 2, 4, 3). d_kingmove(5, 2, 4, 2). d_kingmove(5, 2, 4, 1). d_kingmove(5, 1, 6, 2). d_kingmove(5, 1, 6, 1). d_kingmove(5, 1, 5, 2). d_kingmove(5, 1, 4, 2). d_kingmove(5, 1, 4, 1). d_kingmove(4, 8, 5, 8). d_kingmove(4, 8, 5, 7). d_kingmove(4, 8, 4, 7). d_kingmove(4, 8, 3, 8). d_kingmove(4, 8, 3, 7). d_kingmove(4, 7, 5, 8). d_kingmove(4, 7, 5, 7). d_kingmove(4, 7, 5, 6). d_kingmove(4, 7, 4, 8). d_kingmove(4, 7, 4, 6). d_kingmove(4, 7, 3, 8). d_kingmove(4, 7, 3, 7). d_kingmove(4, 7, 3, 6). d_kingmove(4, 6, 5, 7). d_kingmove(4, 6, 5, 6). d_kingmove(4, 6, 5, 5). d_kingmove(4, 6, 4, 7). d_kingmove(4, 6, 4, 5). d_kingmove(4, 6, 3, 7). d_kingmove(4, 6, 3, 6). d_kingmove(4, 6, 3, 5). d_kingmove(4, 5, 5, 6). d_kingmove(4, 5, 5, 5). d_kingmove(4, 5, 5, 4). d_kingmove(4, 5, 4, 6). d_kingmove(4, 5, 4, 4). d_kingmove(4, 5, 3, 6). d_kingmove(4, 5, 3, 5). d_kingmove(4, 5, 3, 4). d_kingmove(4, 4, 5, 5). d_kingmove(4, 4, 5, 4). d_kingmove(4, 4, 5, 3). d_kingmove(4, 4, 4, 5). d_kingmove(4, 4, 4, 3). d_kingmove(4, 4, 3, 5). d_kingmove(4, 4, 3, 4). d_kingmove(4, 4, 3, 3). d_kingmove(4, 3, 5, 4). d_kingmove(4, 3, 5, 3). d_kingmove(4, 3, 5, 2). d_kingmove(4, 3, 4, 4). d_kingmove(4, 3, 4, 2). d_kingmove(4, 3, 3, 4). d_kingmove(4, 3, 3, 3). d_kingmove(4, 3, 3, 2). d_kingmove(4, 2, 5, 3). d_kingmove(4, 2, 5, 2). d_kingmove(4, 2, 5, 1). d_kingmove(4, 2, 4, 3). d_kingmove(4, 2, 4, 1). d_kingmove(4, 2, 3, 3). d_kingmove(4, 2, 3, 2). d_kingmove(4, 2, 3, 1). d_kingmove(4, 1, 5, 2). d_kingmove(4, 1, 5, 1). d_kingmove(4, 1, 4, 2). d_kingmove(4, 1, 3, 2). d_kingmove(4, 1, 3, 1). d_kingmove(3, 8, 4, 8). d_kingmove(3, 8, 4, 7). d_kingmove(3, 8, 3, 7). d_kingmove(3, 8, 2, 8). d_kingmove(3, 8, 2, 7). d_kingmove(3, 7, 4, 8). d_kingmove(3, 7, 4, 7). d_kingmove(3, 7, 4, 6). d_kingmove(3, 7, 3, 8). d_kingmove(3, 7, 3, 6). d_kingmove(3, 7, 2, 8). d_kingmove(3, 7, 2, 7). d_kingmove(3, 7, 2, 6). d_kingmove(3, 6, 4, 7). d_kingmove(3, 6, 4, 6). d_kingmove(3, 6, 4, 5). d_kingmove(3, 6, 3, 7). d_kingmove(3, 6, 3, 5). d_kingmove(3, 6, 2, 7). d_kingmove(3, 6, 2, 6). d_kingmove(3, 6, 2, 5). d_kingmove(3, 5, 4, 6). d_kingmove(3, 5, 4, 5). d_kingmove(3, 5, 4, 4). d_kingmove(3, 5, 3, 6). d_kingmove(3, 5, 3, 4). d_kingmove(3, 5, 2, 6). d_kingmove(3, 5, 2, 5). d_kingmove(3, 5, 2, 4). d_kingmove(3, 4, 4, 5). d_kingmove(3, 4, 4, 4). d_kingmove(3, 4, 4, 3). d_kingmove(3, 4, 3, 5). d_kingmove(3, 4, 3, 3). d_kingmove(3, 4, 2, 5). d_kingmove(3, 4, 2, 4). d_kingmove(3, 4, 2, 3). d_kingmove(3, 3, 4, 4). d_kingmove(3, 3, 4, 3). d_kingmove(3, 3, 4, 2). d_kingmove(3, 3, 3, 4). d_kingmove(3, 3, 3, 2). d_kingmove(3, 3, 2, 4). d_kingmove(3, 3, 2, 3). d_kingmove(3, 3, 2, 2). d_kingmove(3, 2, 4, 3). d_kingmove(3, 2, 4, 2). d_kingmove(3, 2, 4, 1). d_kingmove(3, 2, 3, 3). d_kingmove(3, 2, 3, 1). d_kingmove(3, 2, 2, 3). d_kingmove(3, 2, 2, 2). d_kingmove(3, 2, 2, 1). d_kingmove(3, 1, 4, 2). d_kingmove(3, 1, 4, 1). d_kingmove(3, 1, 3, 2). d_kingmove(3, 1, 2, 2). d_kingmove(3, 1, 2, 1). d_kingmove(2, 8, 3, 8). d_kingmove(2, 8, 3, 7). d_kingmove(2, 8, 2, 7). d_kingmove(2, 8, 1, 8). d_kingmove(2, 8, 1, 7). d_kingmove(2, 7, 3, 8). d_kingmove(2, 7, 3, 7). d_kingmove(2, 7, 3, 6). d_kingmove(2, 7, 2, 8). d_kingmove(2, 7, 2, 6). d_kingmove(2, 7, 1, 8). d_kingmove(2, 7, 1, 7). d_kingmove(2, 7, 1, 6). d_kingmove(2, 6, 3, 7). d_kingmove(2, 6, 3, 6). d_kingmove(2, 6, 3, 5). d_kingmove(2, 6, 2, 7). d_kingmove(2, 6, 2, 5). d_kingmove(2, 6, 1, 7). d_kingmove(2, 6, 1, 6). d_kingmove(2, 6, 1, 5). d_kingmove(2, 5, 3, 6). d_kingmove(2, 5, 3, 5). d_kingmove(2, 5, 3, 4). d_kingmove(2, 5, 2, 6). d_kingmove(2, 5, 2, 4). d_kingmove(2, 5, 1, 6). d_kingmove(2, 5, 1, 5). d_kingmove(2, 5, 1, 4). d_kingmove(2, 4, 3, 5). d_kingmove(2, 4, 3, 4). d_kingmove(2, 4, 3, 3). d_kingmove(2, 4, 2, 5). d_kingmove(2, 4, 2, 3). d_kingmove(2, 4, 1, 5). d_kingmove(2, 4, 1, 4). d_kingmove(2, 4, 1, 3). d_kingmove(2, 3, 3, 4). d_kingmove(2, 3, 3, 3). d_kingmove(2, 3, 3, 2). d_kingmove(2, 3, 2, 4). d_kingmove(2, 3, 2, 2). d_kingmove(2, 3, 1, 4). d_kingmove(2, 3, 1, 3). d_kingmove(2, 3, 1, 2). d_kingmove(2, 2, 3, 3). d_kingmove(2, 2, 3, 2). d_kingmove(2, 2, 3, 1). d_kingmove(2, 2, 2, 3). d_kingmove(2, 2, 2, 1). d_kingmove(2, 2, 1, 3). d_kingmove(2, 2, 1, 2). d_kingmove(2, 2, 1, 1). d_kingmove(2, 1, 3, 2). d_kingmove(2, 1, 3, 1). d_kingmove(2, 1, 2, 2). d_kingmove(2, 1, 1, 2). d_kingmove(2, 1, 1, 1). d_kingmove(1, 8, 2, 8). d_kingmove(1, 8, 2, 7). d_kingmove(1, 8, 1, 7). d_kingmove(1, 7, 2, 8). d_kingmove(1, 7, 2, 7). d_kingmove(1, 7, 2, 6). d_kingmove(1, 7, 1, 8). d_kingmove(1, 7, 1, 6). d_kingmove(1, 6, 2, 7). d_kingmove(1, 6, 2, 6). d_kingmove(1, 6, 2, 5). d_kingmove(1, 6, 1, 7). d_kingmove(1, 6, 1, 5). d_kingmove(1, 5, 2, 6). d_kingmove(1, 5, 2, 5). d_kingmove(1, 5, 2, 4). d_kingmove(1, 5, 1, 6). d_kingmove(1, 5, 1, 4). d_kingmove(1, 4, 2, 5). d_kingmove(1, 4, 2, 4). d_kingmove(1, 4, 2, 3). d_kingmove(1, 4, 1, 5). d_kingmove(1, 4, 1, 3). d_kingmove(1, 3, 2, 4). d_kingmove(1, 3, 2, 3). d_kingmove(1, 3, 2, 2). d_kingmove(1, 3, 1, 4). d_kingmove(1, 3, 1, 2). d_kingmove(1, 2, 2, 3). d_kingmove(1, 2, 2, 2). d_kingmove(1, 2, 2, 1). d_kingmove(1, 2, 1, 3). d_kingmove(1, 2, 1, 1). d_kingmove(1, 1, 2, 2). d_kingmove(1, 1, 2, 1). d_kingmove(1, 1, 1, 2). d_knightmove(8, 8, 7, 6). d_knightmove(8, 8, 6, 7). d_knightmove(8, 7, 7, 5). d_knightmove(8, 7, 6, 8). d_knightmove(8, 7, 6, 6). d_knightmove(8, 6, 7, 8). d_knightmove(8, 6, 7, 4). d_knightmove(8, 6, 6, 7). d_knightmove(8, 6, 6, 5). d_knightmove(8, 5, 7, 7). d_knightmove(8, 5, 7, 3). d_knightmove(8, 5, 6, 6). d_knightmove(8, 5, 6, 4). d_knightmove(8, 4, 7, 6). d_knightmove(8, 4, 7, 2). d_knightmove(8, 4, 6, 5). d_knightmove(8, 4, 6, 3). d_knightmove(8, 3, 7, 5). d_knightmove(8, 3, 7, 1). d_knightmove(8, 3, 6, 4). d_knightmove(8, 3, 6, 2). d_knightmove(8, 2, 7, 4). d_knightmove(8, 2, 6, 3). d_knightmove(8, 2, 6, 1). d_knightmove(8, 1, 7, 3). d_knightmove(8, 1, 6, 2). d_knightmove(7, 8, 8, 6). d_knightmove(7, 8, 6, 6). d_knightmove(7, 8, 5, 7). d_knightmove(7, 7, 8, 5). d_knightmove(7, 7, 6, 5). d_knightmove(7, 7, 5, 8). d_knightmove(7, 7, 5, 6). d_knightmove(7, 6, 8, 8). d_knightmove(7, 6, 8, 4). d_knightmove(7, 6, 6, 8). d_knightmove(7, 6, 6, 4). d_knightmove(7, 6, 5, 7). d_knightmove(7, 6, 5, 5). d_knightmove(7, 5, 8, 7). d_knightmove(7, 5, 8, 3). d_knightmove(7, 5, 6, 7). d_knightmove(7, 5, 6, 3). d_knightmove(7, 5, 5, 6). d_knightmove(7, 5, 5, 4). d_knightmove(7, 4, 8, 6). d_knightmove(7, 4, 8, 2). d_knightmove(7, 4, 6, 6). d_knightmove(7, 4, 6, 2). d_knightmove(7, 4, 5, 5). d_knightmove(7, 4, 5, 3). d_knightmove(7, 3, 8, 5). d_knightmove(7, 3, 8, 1). d_knightmove(7, 3, 6, 5). d_knightmove(7, 3, 6, 1). d_knightmove(7, 3, 5, 4). d_knightmove(7, 3, 5, 2). d_knightmove(7, 2, 8, 4). d_knightmove(7, 2, 6, 4). d_knightmove(7, 2, 5, 3). d_knightmove(7, 2, 5, 1). d_knightmove(7, 1, 8, 3). d_knightmove(7, 1, 6, 3). d_knightmove(7, 1, 5, 2). d_knightmove(6, 8, 8, 7). d_knightmove(6, 8, 7, 6). d_knightmove(6, 8, 5, 6). d_knightmove(6, 8, 4, 7). d_knightmove(6, 7, 8, 8). d_knightmove(6, 7, 8, 6). d_knightmove(6, 7, 7, 5). d_knightmove(6, 7, 5, 5). d_knightmove(6, 7, 4, 8). d_knightmove(6, 7, 4, 6). d_knightmove(6, 6, 8, 7). d_knightmove(6, 6, 8, 5). d_knightmove(6, 6, 7, 8). d_knightmove(6, 6, 7, 4). d_knightmove(6, 6, 5, 8). d_knightmove(6, 6, 5, 4). d_knightmove(6, 6, 4, 7). d_knightmove(6, 6, 4, 5). d_knightmove(6, 5, 8, 6). d_knightmove(6, 5, 8, 4). d_knightmove(6, 5, 7, 7). d_knightmove(6, 5, 7, 3). d_knightmove(6, 5, 5, 7). d_knightmove(6, 5, 5, 3). d_knightmove(6, 5, 4, 6). d_knightmove(6, 5, 4, 4). d_knightmove(6, 4, 8, 5). d_knightmove(6, 4, 8, 3). d_knightmove(6, 4, 7, 6). d_knightmove(6, 4, 7, 2). d_knightmove(6, 4, 5, 6). d_knightmove(6, 4, 5, 2). d_knightmove(6, 4, 4, 5). d_knightmove(6, 4, 4, 3). d_knightmove(6, 3, 8, 4). d_knightmove(6, 3, 8, 2). d_knightmove(6, 3, 7, 5). d_knightmove(6, 3, 7, 1). d_knightmove(6, 3, 5, 5). d_knightmove(6, 3, 5, 1). d_knightmove(6, 3, 4, 4). d_knightmove(6, 3, 4, 2). d_knightmove(6, 2, 8, 3). d_knightmove(6, 2, 8, 1). d_knightmove(6, 2, 7, 4). d_knightmove(6, 2, 5, 4). d_knightmove(6, 2, 4, 3). d_knightmove(6, 2, 4, 1). d_knightmove(6, 1, 8, 2). d_knightmove(6, 1, 7, 3). d_knightmove(6, 1, 5, 3). d_knightmove(6, 1, 4, 2). d_knightmove(5, 8, 7, 7). d_knightmove(5, 8, 6, 6). d_knightmove(5, 8, 4, 6). d_knightmove(5, 8, 3, 7). d_knightmove(5, 7, 7, 8). d_knightmove(5, 7, 7, 6). d_knightmove(5, 7, 6, 5). d_knightmove(5, 7, 4, 5). d_knightmove(5, 7, 3, 8). d_knightmove(5, 7, 3, 6). d_knightmove(5, 6, 7, 7). d_knightmove(5, 6, 7, 5). d_knightmove(5, 6, 6, 8). d_knightmove(5, 6, 6, 4). d_knightmove(5, 6, 4, 8). d_knightmove(5, 6, 4, 4). d_knightmove(5, 6, 3, 7). d_knightmove(5, 6, 3, 5). d_knightmove(5, 5, 7, 6). d_knightmove(5, 5, 7, 4). d_knightmove(5, 5, 6, 7). d_knightmove(5, 5, 6, 3). d_knightmove(5, 5, 4, 7). d_knightmove(5, 5, 4, 3). d_knightmove(5, 5, 3, 6). d_knightmove(5, 5, 3, 4). d_knightmove(5, 4, 7, 5). d_knightmove(5, 4, 7, 3). d_knightmove(5, 4, 6, 6). d_knightmove(5, 4, 6, 2). d_knightmove(5, 4, 4, 6). d_knightmove(5, 4, 4, 2). d_knightmove(5, 4, 3, 5). d_knightmove(5, 4, 3, 3). d_knightmove(5, 3, 7, 4). d_knightmove(5, 3, 7, 2). d_knightmove(5, 3, 6, 5). d_knightmove(5, 3, 6, 1). d_knightmove(5, 3, 4, 5). d_knightmove(5, 3, 4, 1). d_knightmove(5, 3, 3, 4). d_knightmove(5, 3, 3, 2). d_knightmove(5, 2, 7, 3). d_knightmove(5, 2, 7, 1). d_knightmove(5, 2, 6, 4). d_knightmove(5, 2, 4, 4). d_knightmove(5, 2, 3, 3). d_knightmove(5, 2, 3, 1). d_knightmove(5, 1, 7, 2). d_knightmove(5, 1, 6, 3). d_knightmove(5, 1, 4, 3). d_knightmove(5, 1, 3, 2). d_knightmove(4, 8, 6, 7). d_knightmove(4, 8, 5, 6). d_knightmove(4, 8, 3, 6). d_knightmove(4, 8, 2, 7). d_knightmove(4, 7, 6, 8). d_knightmove(4, 7, 6, 6). d_knightmove(4, 7, 5, 5). d_knightmove(4, 7, 3, 5). d_knightmove(4, 7, 2, 8). d_knightmove(4, 7, 2, 6). d_knightmove(4, 6, 6, 7). d_knightmove(4, 6, 6, 5). d_knightmove(4, 6, 5, 8). d_knightmove(4, 6, 5, 4). d_knightmove(4, 6, 3, 8). d_knightmove(4, 6, 3, 4). d_knightmove(4, 6, 2, 7). d_knightmove(4, 6, 2, 5). d_knightmove(4, 5, 6, 6). d_knightmove(4, 5, 6, 4). d_knightmove(4, 5, 5, 7). d_knightmove(4, 5, 5, 3). d_knightmove(4, 5, 3, 7). d_knightmove(4, 5, 3, 3). d_knightmove(4, 5, 2, 6). d_knightmove(4, 5, 2, 4). d_knightmove(4, 4, 6, 5). d_knightmove(4, 4, 6, 3). d_knightmove(4, 4, 5, 6). d_knightmove(4, 4, 5, 2). d_knightmove(4, 4, 3, 6). d_knightmove(4, 4, 3, 2). d_knightmove(4, 4, 2, 5). d_knightmove(4, 4, 2, 3). d_knightmove(4, 3, 6, 4). d_knightmove(4, 3, 6, 2). d_knightmove(4, 3, 5, 5). d_knightmove(4, 3, 5, 1). d_knightmove(4, 3, 3, 5). d_knightmove(4, 3, 3, 1). d_knightmove(4, 3, 2, 4). d_knightmove(4, 3, 2, 2). d_knightmove(4, 2, 6, 3). d_knightmove(4, 2, 6, 1). d_knightmove(4, 2, 5, 4). d_knightmove(4, 2, 3, 4). d_knightmove(4, 2, 2, 3). d_knightmove(4, 2, 2, 1). d_knightmove(4, 1, 6, 2). d_knightmove(4, 1, 5, 3). d_knightmove(4, 1, 3, 3). d_knightmove(4, 1, 2, 2). d_knightmove(3, 8, 5, 7). d_knightmove(3, 8, 4, 6). d_knightmove(3, 8, 2, 6). d_knightmove(3, 8, 1, 7). d_knightmove(3, 7, 5, 8). d_knightmove(3, 7, 5, 6). d_knightmove(3, 7, 4, 5). d_knightmove(3, 7, 2, 5). d_knightmove(3, 7, 1, 8). d_knightmove(3, 7, 1, 6). d_knightmove(3, 6, 5, 7). d_knightmove(3, 6, 5, 5). d_knightmove(3, 6, 4, 8). d_knightmove(3, 6, 4, 4). d_knightmove(3, 6, 2, 8). d_knightmove(3, 6, 2, 4). d_knightmove(3, 6, 1, 7). d_knightmove(3, 6, 1, 5). d_knightmove(3, 5, 5, 6). d_knightmove(3, 5, 5, 4). d_knightmove(3, 5, 4, 7). d_knightmove(3, 5, 4, 3). d_knightmove(3, 5, 2, 7). d_knightmove(3, 5, 2, 3). d_knightmove(3, 5, 1, 6). d_knightmove(3, 5, 1, 4). d_knightmove(3, 4, 5, 5). d_knightmove(3, 4, 5, 3). d_knightmove(3, 4, 4, 6). d_knightmove(3, 4, 4, 2). d_knightmove(3, 4, 2, 6). d_knightmove(3, 4, 2, 2). d_knightmove(3, 4, 1, 5). d_knightmove(3, 4, 1, 3). d_knightmove(3, 3, 5, 4). d_knightmove(3, 3, 5, 2). d_knightmove(3, 3, 4, 5). d_knightmove(3, 3, 4, 1). d_knightmove(3, 3, 2, 5). d_knightmove(3, 3, 2, 1). d_knightmove(3, 3, 1, 4). d_knightmove(3, 3, 1, 2). d_knightmove(3, 2, 5, 3). d_knightmove(3, 2, 5, 1). d_knightmove(3, 2, 4, 4). d_knightmove(3, 2, 2, 4). d_knightmove(3, 2, 1, 3). d_knightmove(3, 2, 1, 1). d_knightmove(3, 1, 5, 2). d_knightmove(3, 1, 4, 3). d_knightmove(3, 1, 2, 3). d_knightmove(3, 1, 1, 2). d_knightmove(2, 8, 4, 7). d_knightmove(2, 8, 3, 6). d_knightmove(2, 8, 1, 6). d_knightmove(2, 7, 4, 8). d_knightmove(2, 7, 4, 6). d_knightmove(2, 7, 3, 5). d_knightmove(2, 7, 1, 5). d_knightmove(2, 6, 4, 7). d_knightmove(2, 6, 4, 5). d_knightmove(2, 6, 3, 8). d_knightmove(2, 6, 3, 4). d_knightmove(2, 6, 1, 8). d_knightmove(2, 6, 1, 4). d_knightmove(2, 5, 4, 6). d_knightmove(2, 5, 4, 4). d_knightmove(2, 5, 3, 7). d_knightmove(2, 5, 3, 3). d_knightmove(2, 5, 1, 7). d_knightmove(2, 5, 1, 3). d_knightmove(2, 4, 4, 5). d_knightmove(2, 4, 4, 3). d_knightmove(2, 4, 3, 6). d_knightmove(2, 4, 3, 2). d_knightmove(2, 4, 1, 6). d_knightmove(2, 4, 1, 2). d_knightmove(2, 3, 4, 4). d_knightmove(2, 3, 4, 2). d_knightmove(2, 3, 3, 5). d_knightmove(2, 3, 3, 1). d_knightmove(2, 3, 1, 5). d_knightmove(2, 3, 1, 1). d_knightmove(2, 2, 4, 3). d_knightmove(2, 2, 4, 1). d_knightmove(2, 2, 3, 4). d_knightmove(2, 2, 1, 4). d_knightmove(2, 1, 4, 2). d_knightmove(2, 1, 3, 3). d_knightmove(2, 1, 1, 3). d_knightmove(1, 8, 3, 7). d_knightmove(1, 8, 2, 6). d_knightmove(1, 7, 3, 8). d_knightmove(1, 7, 3, 6). d_knightmove(1, 7, 2, 5). d_knightmove(1, 6, 3, 7). d_knightmove(1, 6, 3, 5). d_knightmove(1, 6, 2, 8). d_knightmove(1, 6, 2, 4). d_knightmove(1, 5, 3, 6). d_knightmove(1, 5, 3, 4). d_knightmove(1, 5, 2, 7). d_knightmove(1, 5, 2, 3). d_knightmove(1, 4, 3, 5). d_knightmove(1, 4, 3, 3). d_knightmove(1, 4, 2, 6). d_knightmove(1, 4, 2, 2). d_knightmove(1, 3, 3, 4). d_knightmove(1, 3, 3, 2). d_knightmove(1, 3, 2, 5). d_knightmove(1, 3, 2, 1). d_knightmove(1, 2, 3, 3). d_knightmove(1, 2, 3, 1). d_knightmove(1, 2, 2, 4). d_knightmove(1, 1, 3, 2). d_knightmove(1, 1, 2, 3). d_legal(V69, noop) :- d_role(V69), not d_true(control(V69)). d_legal(V70, move(V71, V72, V73, V74)) :- d_true(control(V70)), d_celloccupiedby(V71, V72, V70), d_validmove(V71, V72, V73, V74), not d_celloccupiedby(V73, V74, V70). d_next(cell(3, 8, whiteknight)) :- d_true(cell(3, 8, whiteknight)), d_role(V75), d_does(V75, move(V76, V77, V78, V79)), d_distinctcell(3, 8, V76, V77), d_distinctcell(3, 8, V78, V79). d_next(cell(3, 8, whiteknight)) :- d_role(V80), d_does(V80, move(V81, V82, 3, 8)), d_true(cell(V81, V82, whiteknight)), not d_type(whiteknight, pawn). d_owns(whiterook, white). d_owns(whitequeen, white). d_owns(whitepawn, white). d_owns(whiteknight, white). d_owns(whiteking, white). d_owns(whitebishop, white). d_owns(blackrook, black). d_owns(blackrook, black). d_owns(blackqueen, black). d_owns(blackqueen, black). d_owns(blackpawn, black). d_owns(blackpawn, black). d_owns(blackknight, black). d_owns(blackknight, black). d_owns(blackking, black). d_owns(blackking, black). d_owns(blackbishop, black). d_owns(blackbishop, black). d_plus(1, 7, 8). d_plus(1, 6, 7). d_plus(1, 5, 6). d_plus(1, 4, 5). d_plus(1, 3, 4). d_plus(1, 2, 3). d_plus(1, 1, 2). d_queenmove(V83, V84, V85, V86) :- d_bishopmove(V83, V84, V85, V86). d_queenmove(V87, V88, V89, V90) :- d_rookmove(V87, V88, V89, V90). d_role(black). d_role(white). d_rookmove(V91, V92, V93, V94) :- d_verticalmove(V93, V94, V91, V92). d_rookmove(V95, V96, V97, V98) :- d_verticalmove(V95, V96, V97, V98). d_rookmove(V99, V100, V101, V102) :- d_horizontalmove(V101, V102, V99, V100). d_rookmove(V103, V104, V105, V106) :- d_horizontalmove(V103, V104, V105, V106). d_type(whiteking, king). d_type(blackking, king). d_type(whitequeen, queen). d_type(blackqueen, queen). d_type(whitebishop, bishop). d_type(blackbishop, bishop). d_type(whiteknight, knight). d_type(blackknight, knight). d_type(whiterook, rook). d_type(blackrook, rook). d_type(whitepawn, pawn). d_type(blackpawn, pawn). d_validmove(V107, V108, V109, V110) :- d_true(cell(V107, V108, V111)), d_type(V111, king), d_kingmove(V107, V108, V109, V110). d_validmove(V112, V113, V114, V115) :- d_true(cell(V112, V113, V116)), d_type(V116, queen), d_queenmove(V112, V113, V114, V115). d_validmove(V117, V118, V119, V120) :- d_true(cell(V117, V118, V121)), d_type(V121, bishop), d_bishopmove(V117, V118, V119, V120). d_validmove(V122, V123, V124, V125) :- d_true(cell(V122, V123, V126)), d_type(V126, knight), d_knightmove(V122, V123, V124, V125). d_validmove(V127, V128, V129, V130) :- d_true(cell(V127, V128, V131)), d_type(V131, rook), d_rookmove(V127, V128, V129, V130). d_validmove(V132, V133, V134, V135) :- d_true(cell(V132, V133, V136)), d_type(V136, pawn), d_owns(V136, black), d_blackpawnmove(V132, V133, V134, V135). d_validmove(V137, V138, V139, V140) :- d_true(cell(V137, V138, V141)), d_type(V141, pawn), d_owns(V141, white), d_whitepawnmove(V137, V138, V139, V140). d_verticalmove(V142, V143, V142, V144) :- d_plus(1, V143, V144), d_index(V142). d_verticalmove(V145, V146, V145, V147) :- d_plus(1, V146, V148), d_cellempty(V145, V148), d_verticalmove(V145, V148, V145, V147), d_index(V145), argstack_dom_9(V147). d_whitepawnmove(V149, V150, V151, V152) :- d_plus(1, V151, V149), d_plus(1, V150, V152), d_celloccupiedby(V151, V152, black). d_whitepawnmove(V153, V154, V155, V156) :- d_plus(1, V153, V155), d_plus(1, V154, V156), d_celloccupiedby(V155, V156, black). d_whitepawnmove(V157, V158, V157, V159) :- d_plus(1, V158, V159), d_cellempty(V157, V159). d_whitepawnmove(V160, 2, V160, 4) :- d_cellempty(V160, 3), d_cellempty(V160, 4). gen_static_domain_d_bishopmove_1(V161, V162, V163, V164) :- gen_static_domain_d_diagonalupmove_1(V161, V162, V163, V164). gen_static_domain_d_bishopmove_1(V165, V166, V167, V168) :- gen_static_domain_d_diagonalupmove_1(V167, V168, V165, V166). gen_static_domain_d_bishopmove_1(V169, V170, V171, V172) :- gen_static_domain_d_diagonaldownmove_1(V169, V170, V171, V172). gen_static_domain_d_bishopmove_1(V173, V174, V175, V176) :- gen_static_domain_d_diagonaldownmove_1(V175, V176, V173, V174). gen_static_domain_d_blackpawnmove_1(V177, 7, V177, 5) :- gen_static_domain_d_cellempty_1(V177, 6), gen_static_domain_d_cellempty_1(V177, 5). gen_static_domain_d_blackpawnmove_1(V178, V179, V178, V180) :- d_plus(1, V180, V179), gen_static_domain_d_cellempty_1(V178, V180). gen_static_domain_d_blackpawnmove_1(V181, V182, V183, V184) :- d_plus(1, V181, V183), d_plus(1, V184, V182), gen_static_domain_d_celloccupiedby_1(V183, V184, white). gen_static_domain_d_blackpawnmove_1(V185, V186, V187, V188) :- d_plus(1, V187, V185), d_plus(1, V188, V186), gen_static_domain_d_celloccupiedby_1(V187, V188, white). gen_static_domain_d_cellempty_1(V189, V190) :- d_cell(V189, V190). gen_static_domain_d_celloccupiedby_1(V191, V192, V193) :- argstack_dom_19(V194), argstack_dom_100(V192), argstack_dom_69(V191), d_owns(V194, V193). gen_static_domain_d_diagonaldownmove_1(V195, V196, V197, V198) :- d_plus(1, V195, V199), d_plus(1, V200, V196), gen_static_domain_d_cellempty_1(V199, V200), argstack_dom_59(V198), argstack_dom_32(V197), argstack_dom_4(V200), argstack_dom_81(V199). gen_static_domain_d_diagonaldownmove_1(V201, V202, V203, V204) :- d_plus(1, V201, V203), d_plus(1, V204, V202). gen_static_domain_d_diagonalupmove_1(V205, V206, V207, V208) :- d_plus(1, V205, V209), d_plus(1, V206, V210), gen_static_domain_d_cellempty_1(V209, V210), argstack_dom_1(V208), argstack_dom_79(V207), argstack_dom_49(V210), argstack_dom_22(V209). gen_static_domain_d_diagonalupmove_1(V211, V212, V213, V214) :- d_plus(1, V211, V213), d_plus(1, V212, V214). gen_static_domain_d_horizontalmove_1(V215, V216, V217, V216) :- d_plus(1, V215, V218), gen_static_domain_d_cellempty_1(V218, V216), argstack_dom_46(V217), argstack_dom_20(V216), argstack_dom_99(V218), d_index(V216). gen_static_domain_d_horizontalmove_1(V219, V220, V221, V220) :- d_plus(1, V219, V221), d_index(V220). gen_static_domain_d_legal_1(V222, move(V223, V224, V225, V226)) :- argstack_dom_85(V222), gen_static_domain_d_celloccupiedby_1(V223, V224, V222), gen_static_domain_d_validmove_1(V223, V224, V225, V226). gen_static_domain_d_legal_1(V227, noop) :- d_role(V227). gen_static_domain_d_queenmove_1(V228, V229, V230, V231) :- gen_static_domain_d_rookmove_1(V228, V229, V230, V231). gen_static_domain_d_queenmove_1(V232, V233, V234, V235) :- gen_static_domain_d_bishopmove_1(V232, V233, V234, V235). gen_static_domain_d_rookmove_1(V236, V237, V238, V239) :- gen_static_domain_d_horizontalmove_1(V236, V237, V238, V239). gen_static_domain_d_rookmove_1(V240, V241, V242, V243) :- gen_static_domain_d_horizontalmove_1(V242, V243, V240, V241). gen_static_domain_d_rookmove_1(V244, V245, V246, V247) :- gen_static_domain_d_verticalmove_1(V244, V245, V246, V247). gen_static_domain_d_rookmove_1(V248, V249, V250, V251) :- gen_static_domain_d_verticalmove_1(V250, V251, V248, V249). gen_static_domain_d_validmove_1(V252, V253, V254, V255) :- argstack_dom_19(V256), argstack_dom_100(V253), argstack_dom_69(V252), d_type(V256, pawn), d_owns(V256, white), gen_static_domain_d_whitepawnmove_1(V252, V253, V254, V255). gen_static_domain_d_validmove_1(V257, V258, V259, V260) :- argstack_dom_19(V261), argstack_dom_100(V258), argstack_dom_69(V257), d_type(V261, pawn), d_owns(V261, black), gen_static_domain_d_blackpawnmove_1(V257, V258, V259, V260). gen_static_domain_d_validmove_1(V262, V263, V264, V265) :- argstack_dom_19(V266), argstack_dom_100(V263), argstack_dom_69(V262), d_type(V266, rook), gen_static_domain_d_rookmove_1(V262, V263, V264, V265). gen_static_domain_d_validmove_1(V267, V268, V269, V270) :- argstack_dom_19(V271), argstack_dom_100(V268), argstack_dom_69(V267), d_type(V271, knight), d_knightmove(V267, V268, V269, V270). gen_static_domain_d_validmove_1(V272, V273, V274, V275) :- argstack_dom_19(V276), argstack_dom_100(V273), argstack_dom_69(V272), d_type(V276, bishop), gen_static_domain_d_bishopmove_1(V272, V273, V274, V275). gen_static_domain_d_validmove_1(V277, V278, V279, V280) :- argstack_dom_19(V281), argstack_dom_100(V278), argstack_dom_69(V277), d_type(V281, queen), gen_static_domain_d_queenmove_1(V277, V278, V279, V280). gen_static_domain_d_validmove_1(V282, V283, V284, V285) :- argstack_dom_19(V286), argstack_dom_100(V283), argstack_dom_69(V282), d_type(V286, king), d_kingmove(V282, V283, V284, V285). gen_static_domain_d_verticalmove_1(V287, V288, V287, V289) :- d_plus(1, V288, V290), gen_static_domain_d_cellempty_1(V287, V290), argstack_dom_9(V289), argstack_dom_62(V290), argstack_dom_35(V287), d_index(V287). gen_static_domain_d_verticalmove_1(V291, V292, V291, V293) :- d_plus(1, V292, V293), d_index(V291). gen_static_domain_d_whitepawnmove_1(V294, 2, V294, 4) :- gen_static_domain_d_cellempty_1(V294, 3), gen_static_domain_d_cellempty_1(V294, 4). gen_static_domain_d_whitepawnmove_1(V295, V296, V295, V297) :- d_plus(1, V296, V297), gen_static_domain_d_cellempty_1(V295, V297). gen_static_domain_d_whitepawnmove_1(V298, V299, V300, V301) :- d_plus(1, V298, V300), d_plus(1, V299, V301), gen_static_domain_d_celloccupiedby_1(V300, V301, black). gen_static_domain_d_whitepawnmove_1(V302, V303, V304, V305) :- d_plus(1, V304, V302), d_plus(1, V303, V305), gen_static_domain_d_celloccupiedby_1(V304, V305, black). :- not d_true(cell(3, 8, whiteknight)). :- d_next(cell(3, 8, whiteknight)).