Encoding consequence_persistent_false_fluent_cell_e7b___.lp

Name	consequence_persistent_false_fluent_cell_e__7__b___.lp
Class Tree	[Root] General Game Playing (982) Dresden (927) brawl (45)
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_82(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_70(V4):argstack_dom_101(V5):argstack_dom_18(V6) ]. argstack_dom_101(1). argstack_dom_101(2). argstack_dom_101(3). argstack_dom_101(4). argstack_dom_101(5). argstack_dom_101(6). argstack_dom_101(7). argstack_dom_101(8). argstack_dom_103(2). argstack_dom_103(3). argstack_dom_103(4). argstack_dom_103(5). argstack_dom_103(6). argstack_dom_103(7). argstack_dom_103(8). argstack_dom_108(a). argstack_dom_108(b). argstack_dom_108(c). argstack_dom_108(d). argstack_dom_108(e). argstack_dom_108(f). argstack_dom_108(g). argstack_dom_13(a). argstack_dom_13(b). argstack_dom_13(c). argstack_dom_13(d). argstack_dom_13(e). argstack_dom_13(f). argstack_dom_13(g). argstack_dom_18(wq). argstack_dom_18(bq). argstack_dom_18(wk). argstack_dom_18(bk). argstack_dom_18(wr). argstack_dom_18(b). argstack_dom_18(br). argstack_dom_23(b). argstack_dom_23(c). argstack_dom_23(d). argstack_dom_23(e). argstack_dom_23(f). argstack_dom_23(g). argstack_dom_23(h). argstack_dom_38(1). argstack_dom_38(2). argstack_dom_38(3). argstack_dom_38(4). argstack_dom_38(5). argstack_dom_38(6). argstack_dom_38(7). argstack_dom_39(2). argstack_dom_39(3). argstack_dom_39(4). argstack_dom_39(5). argstack_dom_39(6). argstack_dom_39(7). argstack_dom_39(8). argstack_dom_44(1). argstack_dom_44(2). argstack_dom_44(3). argstack_dom_44(4). argstack_dom_44(5). argstack_dom_44(6). argstack_dom_44(7). argstack_dom_53(1). argstack_dom_53(2). argstack_dom_53(3). argstack_dom_53(4). argstack_dom_53(5). argstack_dom_53(6). argstack_dom_53(7). argstack_dom_53(8). argstack_dom_64(2). argstack_dom_64(3). argstack_dom_64(4). argstack_dom_64(5). argstack_dom_64(6). argstack_dom_64(7). argstack_dom_64(8). argstack_dom_67(b). argstack_dom_67(c). argstack_dom_67(d). argstack_dom_67(e). argstack_dom_67(f). argstack_dom_67(g). argstack_dom_67(h). argstack_dom_7(a). argstack_dom_7(b). argstack_dom_7(c). argstack_dom_7(d). argstack_dom_7(e). argstack_dom_7(f). argstack_dom_7(g). argstack_dom_7(h). argstack_dom_70(a). argstack_dom_70(b). argstack_dom_70(c). argstack_dom_70(d). argstack_dom_70(e). argstack_dom_70(f). argstack_dom_70(g). argstack_dom_70(h). argstack_dom_73(b). argstack_dom_73(c). argstack_dom_73(d). argstack_dom_73(e). argstack_dom_73(f). argstack_dom_73(g). argstack_dom_73(h). argstack_dom_82(white). argstack_dom_82(black). argstack_dom_9(a). argstack_dom_9(b). argstack_dom_9(c). argstack_dom_9(d). argstack_dom_9(e). argstack_dom_9(f). argstack_dom_9(g). argstack_dom_95(1). argstack_dom_95(2). argstack_dom_95(3). argstack_dom_95(4). argstack_dom_95(5). argstack_dom_95(6). argstack_dom_95(7). d_bishopmove(V7, V8, V9, V10) :- d_clear_diagonal_se(V9, V10, V7, V8). d_bishopmove(V11, V12, V13, V14) :- d_clear_diagonal_se(V11, V12, V13, V14). d_bishopmove(V15, V16, V17, V18) :- d_clear_diagonal_ne(V17, V18, V15, V16). d_bishopmove(V19, V20, V21, V22) :- d_clear_diagonal_ne(V19, V20, V21, V22). d_clear_column(V23, V24, V25) :- d_next_rank(V24, V26), d_true(cell(V23, V26, b)), d_clear_column(V23, V26, V25), argstack_dom_64(V25). d_clear_column(V27, V28, V29) :- d_next_rank(V28, V29), d_file(V27). d_clear_diagonal_ne(V30, V31, V32, V33) :- d_next_file(V30, V34), d_next_rank(V31, V35), d_true(cell(V34, V35, b)), d_clear_diagonal_ne(V34, V35, V32, V33), argstack_dom_103(V33), argstack_dom_73(V32). d_clear_diagonal_ne(V36, V37, V38, V39) :- d_next_file(V36, V38), d_next_rank(V37, V39). d_clear_diagonal_se(V40, V41, V42, V43) :- d_next_file(V40, V44), d_next_rank(V45, V41), d_true(cell(V44, V45, b)), d_clear_diagonal_se(V44, V45, V42, V43), argstack_dom_95(V43), argstack_dom_67(V42). d_clear_diagonal_se(V46, V47, V48, V49) :- d_next_file(V46, V48), d_next_rank(V49, V47). d_clear_row(V50, V51, V52) :- d_next_file(V50, V53), d_true(cell(V53, V52, b)), d_clear_row(V53, V51, V52), argstack_dom_23(V51). d_clear_row(V54, V55, V56) :- d_next_file(V54, V55), d_rank(V56). d_different_cells(e, 7, h, 8). d_different_cells(e, 7, h, 7). d_different_cells(e, 7, h, 6). d_different_cells(e, 7, h, 5). d_different_cells(e, 7, h, 4). d_different_cells(e, 7, h, 3). d_different_cells(e, 7, h, 2). d_different_cells(e, 7, h, 1). d_different_cells(e, 7, g, 8). d_different_cells(e, 7, g, 7). d_different_cells(e, 7, g, 6). d_different_cells(e, 7, g, 5). d_different_cells(e, 7, g, 4). d_different_cells(e, 7, g, 3). d_different_cells(e, 7, g, 2). d_different_cells(e, 7, g, 1). d_different_cells(e, 7, f, 8). d_different_cells(e, 7, f, 7). d_different_cells(e, 7, f, 6). d_different_cells(e, 7, f, 5). d_different_cells(e, 7, f, 4). d_different_cells(e, 7, f, 3). d_different_cells(e, 7, f, 2). d_different_cells(e, 7, f, 1). d_different_cells(e, 7, e, 8). d_different_cells(e, 7, e, 6). d_different_cells(e, 7, e, 5). d_different_cells(e, 7, e, 4). d_different_cells(e, 7, e, 3). d_different_cells(e, 7, e, 2). d_different_cells(e, 7, e, 1). d_different_cells(e, 7, d, 8). d_different_cells(e, 7, d, 7). d_different_cells(e, 7, d, 6). d_different_cells(e, 7, d, 5). d_different_cells(e, 7, d, 4). d_different_cells(e, 7, d, 3). d_different_cells(e, 7, d, 2). d_different_cells(e, 7, d, 1). d_different_cells(e, 7, c, 8). d_different_cells(e, 7, c, 7). d_different_cells(e, 7, c, 6). d_different_cells(e, 7, c, 5). d_different_cells(e, 7, c, 4). d_different_cells(e, 7, c, 3). d_different_cells(e, 7, c, 2). d_different_cells(e, 7, c, 1). d_different_cells(e, 7, b, 8). d_different_cells(e, 7, b, 7). d_different_cells(e, 7, b, 6). d_different_cells(e, 7, b, 5). d_different_cells(e, 7, b, 4). d_different_cells(e, 7, b, 3). d_different_cells(e, 7, b, 2). d_different_cells(e, 7, b, 1). d_different_cells(e, 7, a, 8). d_different_cells(e, 7, a, 7). d_different_cells(e, 7, a, 6). d_different_cells(e, 7, a, 5). d_different_cells(e, 7, a, 4). d_different_cells(e, 7, a, 3). d_different_cells(e, 7, a, 2). d_different_cells(e, 7, a, 1). d_feasible(V57, move(V58, V59, V60, V61, V62)) :- d_piece_owner_type(V58, V57, rook), d_true(cell(V59, V60, V58)), d_rookmove(V59, V60, V61, V62), d_occupied_by_opponent_or_blank(V61, V62, V57). d_feasible(V63, move(V64, V65, V66, V67, V68)) :- d_piece_owner_type(V64, V63, queen), d_true(cell(V65, V66, V64)), d_queenmove(V65, V66, V67, V68), d_occupied_by_opponent_or_blank(V67, V68, V63). d_feasible(V69, move(V70, V71, V72, V73, V74)) :- d_piece_owner_type(V70, V69, king), d_true(cell(V71, V72, V70)), d_kingmove(V71, V72, V73, V74), d_occupied_by_opponent_or_blank(V73, V74, V69). d_file(h). d_file(g). d_file(f). d_file(e). d_file(d). d_file(c). d_file(b). d_file(a). d_kingmove(h, 8, h, 7). d_kingmove(h, 8, g, 8). d_kingmove(h, 8, g, 7). d_kingmove(h, 7, h, 8). d_kingmove(h, 7, h, 6). d_kingmove(h, 7, g, 8). d_kingmove(h, 7, g, 7). d_kingmove(h, 7, g, 6). d_kingmove(h, 6, h, 7). d_kingmove(h, 6, h, 5). d_kingmove(h, 6, g, 7). d_kingmove(h, 6, g, 6). d_kingmove(h, 6, g, 5). d_kingmove(h, 5, h, 6). d_kingmove(h, 5, h, 4). d_kingmove(h, 5, g, 6). d_kingmove(h, 5, g, 5). d_kingmove(h, 5, g, 4). d_kingmove(h, 4, h, 5). d_kingmove(h, 4, h, 3). d_kingmove(h, 4, g, 5). d_kingmove(h, 4, g, 4). d_kingmove(h, 4, g, 3). d_kingmove(h, 3, h, 4). d_kingmove(h, 3, h, 2). d_kingmove(h, 3, g, 4). d_kingmove(h, 3, g, 3). d_kingmove(h, 3, g, 2). d_kingmove(h, 2, h, 3). d_kingmove(h, 2, h, 1). d_kingmove(h, 2, g, 3). d_kingmove(h, 2, g, 2). d_kingmove(h, 2, g, 1). d_kingmove(h, 1, h, 2). d_kingmove(h, 1, g, 2). d_kingmove(h, 1, g, 1). d_kingmove(g, 8, h, 8). d_kingmove(g, 8, h, 7). d_kingmove(g, 8, g, 7). d_kingmove(g, 8, f, 8). d_kingmove(g, 8, f, 7). d_kingmove(g, 7, h, 8). d_kingmove(g, 7, h, 7). d_kingmove(g, 7, h, 6). d_kingmove(g, 7, g, 8). d_kingmove(g, 7, g, 6). d_kingmove(g, 7, f, 8). d_kingmove(g, 7, f, 7). d_kingmove(g, 7, f, 6). d_kingmove(g, 6, h, 7). d_kingmove(g, 6, h, 6). d_kingmove(g, 6, h, 5). d_kingmove(g, 6, g, 7). d_kingmove(g, 6, g, 5). d_kingmove(g, 6, f, 7). d_kingmove(g, 6, f, 6). d_kingmove(g, 6, f, 5). d_kingmove(g, 5, h, 6). d_kingmove(g, 5, h, 5). d_kingmove(g, 5, h, 4). d_kingmove(g, 5, g, 6). d_kingmove(g, 5, g, 4). d_kingmove(g, 5, f, 6). d_kingmove(g, 5, f, 5). d_kingmove(g, 5, f, 4). d_kingmove(g, 4, h, 5). d_kingmove(g, 4, h, 4). d_kingmove(g, 4, h, 3). d_kingmove(g, 4, g, 5). d_kingmove(g, 4, g, 3). d_kingmove(g, 4, f, 5). d_kingmove(g, 4, f, 4). d_kingmove(g, 4, f, 3). d_kingmove(g, 3, h, 4). d_kingmove(g, 3, h, 3). d_kingmove(g, 3, h, 2). d_kingmove(g, 3, g, 4). d_kingmove(g, 3, g, 2). d_kingmove(g, 3, f, 4). d_kingmove(g, 3, f, 3). d_kingmove(g, 3, f, 2). d_kingmove(g, 2, h, 3). d_kingmove(g, 2, h, 2). d_kingmove(g, 2, h, 1). d_kingmove(g, 2, g, 3). d_kingmove(g, 2, g, 1). d_kingmove(g, 2, f, 3). d_kingmove(g, 2, f, 2). d_kingmove(g, 2, f, 1). d_kingmove(g, 1, h, 2). d_kingmove(g, 1, h, 1). d_kingmove(g, 1, g, 2). d_kingmove(g, 1, f, 2). d_kingmove(g, 1, f, 1). d_kingmove(f, 8, g, 8). d_kingmove(f, 8, g, 7). d_kingmove(f, 8, f, 7). d_kingmove(f, 8, e, 8). d_kingmove(f, 8, e, 7). d_kingmove(f, 7, g, 8). d_kingmove(f, 7, g, 7). d_kingmove(f, 7, g, 6). d_kingmove(f, 7, f, 8). d_kingmove(f, 7, f, 6). d_kingmove(f, 7, e, 8). d_kingmove(f, 7, e, 7). d_kingmove(f, 7, e, 6). d_kingmove(f, 6, g, 7). d_kingmove(f, 6, g, 6). d_kingmove(f, 6, g, 5). d_kingmove(f, 6, f, 7). d_kingmove(f, 6, f, 5). d_kingmove(f, 6, e, 7). d_kingmove(f, 6, e, 6). d_kingmove(f, 6, e, 5). d_kingmove(f, 5, g, 6). d_kingmove(f, 5, g, 5). d_kingmove(f, 5, g, 4). d_kingmove(f, 5, f, 6). d_kingmove(f, 5, f, 4). d_kingmove(f, 5, e, 6). d_kingmove(f, 5, e, 5). d_kingmove(f, 5, e, 4). d_kingmove(f, 4, g, 5). d_kingmove(f, 4, g, 4). d_kingmove(f, 4, g, 3). d_kingmove(f, 4, f, 5). d_kingmove(f, 4, f, 3). d_kingmove(f, 4, e, 5). d_kingmove(f, 4, e, 4). d_kingmove(f, 4, e, 3). d_kingmove(f, 3, g, 4). d_kingmove(f, 3, g, 3). d_kingmove(f, 3, g, 2). d_kingmove(f, 3, f, 4). d_kingmove(f, 3, f, 2). d_kingmove(f, 3, e, 4). d_kingmove(f, 3, e, 3). d_kingmove(f, 3, e, 2). d_kingmove(f, 2, g, 3). d_kingmove(f, 2, g, 2). d_kingmove(f, 2, g, 1). d_kingmove(f, 2, f, 3). d_kingmove(f, 2, f, 1). d_kingmove(f, 2, e, 3). d_kingmove(f, 2, e, 2). d_kingmove(f, 2, e, 1). d_kingmove(f, 1, g, 2). d_kingmove(f, 1, g, 1). d_kingmove(f, 1, f, 2). d_kingmove(f, 1, e, 2). d_kingmove(f, 1, e, 1). d_kingmove(e, 8, f, 8). d_kingmove(e, 8, f, 7). d_kingmove(e, 8, e, 7). d_kingmove(e, 8, d, 8). d_kingmove(e, 8, d, 7). d_kingmove(e, 7, f, 8). d_kingmove(e, 7, f, 7). d_kingmove(e, 7, f, 6). d_kingmove(e, 7, e, 8). d_kingmove(e, 7, e, 6). d_kingmove(e, 7, d, 8). d_kingmove(e, 7, d, 7). d_kingmove(e, 7, d, 6). d_kingmove(e, 6, f, 7). d_kingmove(e, 6, f, 6). d_kingmove(e, 6, f, 5). d_kingmove(e, 6, e, 7). d_kingmove(e, 6, e, 5). d_kingmove(e, 6, d, 7). d_kingmove(e, 6, d, 6). d_kingmove(e, 6, d, 5). d_kingmove(e, 5, f, 6). d_kingmove(e, 5, f, 5). d_kingmove(e, 5, f, 4). d_kingmove(e, 5, e, 6). d_kingmove(e, 5, e, 4). d_kingmove(e, 5, d, 6). d_kingmove(e, 5, d, 5). d_kingmove(e, 5, d, 4). d_kingmove(e, 4, f, 5). d_kingmove(e, 4, f, 4). d_kingmove(e, 4, f, 3). d_kingmove(e, 4, e, 5). d_kingmove(e, 4, e, 3). d_kingmove(e, 4, d, 5). d_kingmove(e, 4, d, 4). d_kingmove(e, 4, d, 3). d_kingmove(e, 3, f, 4). d_kingmove(e, 3, f, 3). d_kingmove(e, 3, f, 2). d_kingmove(e, 3, e, 4). d_kingmove(e, 3, e, 2). d_kingmove(e, 3, d, 4). d_kingmove(e, 3, d, 3). d_kingmove(e, 3, d, 2). d_kingmove(e, 2, f, 3). d_kingmove(e, 2, f, 2). d_kingmove(e, 2, f, 1). d_kingmove(e, 2, e, 3). d_kingmove(e, 2, e, 1). d_kingmove(e, 2, d, 3). d_kingmove(e, 2, d, 2). d_kingmove(e, 2, d, 1). d_kingmove(e, 1, f, 2). d_kingmove(e, 1, f, 1). d_kingmove(e, 1, e, 2). d_kingmove(e, 1, d, 2). d_kingmove(e, 1, d, 1). d_kingmove(d, 8, e, 8). d_kingmove(d, 8, e, 7). d_kingmove(d, 8, d, 7). d_kingmove(d, 8, c, 8). d_kingmove(d, 8, c, 7). d_kingmove(d, 7, e, 8). d_kingmove(d, 7, e, 7). d_kingmove(d, 7, e, 6). d_kingmove(d, 7, d, 8). d_kingmove(d, 7, d, 6). d_kingmove(d, 7, c, 8). d_kingmove(d, 7, c, 7). d_kingmove(d, 7, c, 6). d_kingmove(d, 6, e, 7). d_kingmove(d, 6, e, 6). d_kingmove(d, 6, e, 5). d_kingmove(d, 6, d, 7). d_kingmove(d, 6, d, 5). d_kingmove(d, 6, c, 7). d_kingmove(d, 6, c, 6). d_kingmove(d, 6, c, 5). d_kingmove(d, 5, e, 6). d_kingmove(d, 5, e, 5). d_kingmove(d, 5, e, 4). d_kingmove(d, 5, d, 6). d_kingmove(d, 5, d, 4). d_kingmove(d, 5, c, 6). d_kingmove(d, 5, c, 5). d_kingmove(d, 5, c, 4). d_kingmove(d, 4, e, 5). d_kingmove(d, 4, e, 4). d_kingmove(d, 4, e, 3). d_kingmove(d, 4, d, 5). d_kingmove(d, 4, d, 3). d_kingmove(d, 4, c, 5). d_kingmove(d, 4, c, 4). d_kingmove(d, 4, c, 3). d_kingmove(d, 3, e, 4). d_kingmove(d, 3, e, 3). d_kingmove(d, 3, e, 2). d_kingmove(d, 3, d, 4). d_kingmove(d, 3, d, 2). d_kingmove(d, 3, c, 4). d_kingmove(d, 3, c, 3). d_kingmove(d, 3, c, 2). d_kingmove(d, 2, e, 3). d_kingmove(d, 2, e, 2). d_kingmove(d, 2, e, 1). d_kingmove(d, 2, d, 3). d_kingmove(d, 2, d, 1). d_kingmove(d, 2, c, 3). d_kingmove(d, 2, c, 2). d_kingmove(d, 2, c, 1). d_kingmove(d, 1, e, 2). d_kingmove(d, 1, e, 1). d_kingmove(d, 1, d, 2). d_kingmove(d, 1, c, 2). d_kingmove(d, 1, c, 1). d_kingmove(c, 8, d, 8). d_kingmove(c, 8, d, 7). d_kingmove(c, 8, c, 7). d_kingmove(c, 8, b, 8). d_kingmove(c, 8, b, 7). d_kingmove(c, 7, d, 8). d_kingmove(c, 7, d, 7). d_kingmove(c, 7, d, 6). d_kingmove(c, 7, c, 8). d_kingmove(c, 7, c, 6). d_kingmove(c, 7, b, 8). d_kingmove(c, 7, b, 7). d_kingmove(c, 7, b, 6). d_kingmove(c, 6, d, 7). d_kingmove(c, 6, d, 6). d_kingmove(c, 6, d, 5). d_kingmove(c, 6, c, 7). d_kingmove(c, 6, c, 5). d_kingmove(c, 6, b, 7). d_kingmove(c, 6, b, 6). d_kingmove(c, 6, b, 5). d_kingmove(c, 5, d, 6). d_kingmove(c, 5, d, 5). d_kingmove(c, 5, d, 4). d_kingmove(c, 5, c, 6). d_kingmove(c, 5, c, 4). d_kingmove(c, 5, b, 6). d_kingmove(c, 5, b, 5). d_kingmove(c, 5, b, 4). d_kingmove(c, 4, d, 5). d_kingmove(c, 4, d, 4). d_kingmove(c, 4, d, 3). d_kingmove(c, 4, c, 5). d_kingmove(c, 4, c, 3). d_kingmove(c, 4, b, 5). d_kingmove(c, 4, b, 4). d_kingmove(c, 4, b, 3). d_kingmove(c, 3, d, 4). d_kingmove(c, 3, d, 3). d_kingmove(c, 3, d, 2). d_kingmove(c, 3, c, 4). d_kingmove(c, 3, c, 2). d_kingmove(c, 3, b, 4). d_kingmove(c, 3, b, 3). d_kingmove(c, 3, b, 2). d_kingmove(c, 2, d, 3). d_kingmove(c, 2, d, 2). d_kingmove(c, 2, d, 1). d_kingmove(c, 2, c, 3). d_kingmove(c, 2, c, 1). d_kingmove(c, 2, b, 3). d_kingmove(c, 2, b, 2). d_kingmove(c, 2, b, 1). d_kingmove(c, 1, d, 2). d_kingmove(c, 1, d, 1). d_kingmove(c, 1, c, 2). d_kingmove(c, 1, b, 2). d_kingmove(c, 1, b, 1). d_kingmove(b, 8, c, 8). d_kingmove(b, 8, c, 7). d_kingmove(b, 8, b, 7). d_kingmove(b, 8, a, 8). d_kingmove(b, 8, a, 7). d_kingmove(b, 7, c, 8). d_kingmove(b, 7, c, 7). d_kingmove(b, 7, c, 6). d_kingmove(b, 7, b, 8). d_kingmove(b, 7, b, 6). d_kingmove(b, 7, a, 8). d_kingmove(b, 7, a, 7). d_kingmove(b, 7, a, 6). d_kingmove(b, 6, c, 7). d_kingmove(b, 6, c, 6). d_kingmove(b, 6, c, 5). d_kingmove(b, 6, b, 7). d_kingmove(b, 6, b, 5). d_kingmove(b, 6, a, 7). d_kingmove(b, 6, a, 6). d_kingmove(b, 6, a, 5). d_kingmove(b, 5, c, 6). d_kingmove(b, 5, c, 5). d_kingmove(b, 5, c, 4). d_kingmove(b, 5, b, 6). d_kingmove(b, 5, b, 4). d_kingmove(b, 5, a, 6). d_kingmove(b, 5, a, 5). d_kingmove(b, 5, a, 4). d_kingmove(b, 4, c, 5). d_kingmove(b, 4, c, 4). d_kingmove(b, 4, c, 3). d_kingmove(b, 4, b, 5). d_kingmove(b, 4, b, 3). d_kingmove(b, 4, a, 5). d_kingmove(b, 4, a, 4). d_kingmove(b, 4, a, 3). d_kingmove(b, 3, c, 4). d_kingmove(b, 3, c, 3). d_kingmove(b, 3, c, 2). d_kingmove(b, 3, b, 4). d_kingmove(b, 3, b, 2). d_kingmove(b, 3, a, 4). d_kingmove(b, 3, a, 3). d_kingmove(b, 3, a, 2). d_kingmove(b, 2, c, 3). d_kingmove(b, 2, c, 2). d_kingmove(b, 2, c, 1). d_kingmove(b, 2, b, 3). d_kingmove(b, 2, b, 1). d_kingmove(b, 2, a, 3). d_kingmove(b, 2, a, 2). d_kingmove(b, 2, a, 1). d_kingmove(b, 1, c, 2). d_kingmove(b, 1, c, 1). d_kingmove(b, 1, b, 2). d_kingmove(b, 1, a, 2). d_kingmove(b, 1, a, 1). d_kingmove(a, 8, b, 8). d_kingmove(a, 8, b, 7). d_kingmove(a, 8, a, 7). d_kingmove(a, 7, b, 8). d_kingmove(a, 7, b, 7). d_kingmove(a, 7, b, 6). d_kingmove(a, 7, a, 8). d_kingmove(a, 7, a, 6). d_kingmove(a, 6, b, 7). d_kingmove(a, 6, b, 6). d_kingmove(a, 6, b, 5). d_kingmove(a, 6, a, 7). d_kingmove(a, 6, a, 5). d_kingmove(a, 5, b, 6). d_kingmove(a, 5, b, 5). d_kingmove(a, 5, b, 4). d_kingmove(a, 5, a, 6). d_kingmove(a, 5, a, 4). d_kingmove(a, 4, b, 5). d_kingmove(a, 4, b, 4). d_kingmove(a, 4, b, 3). d_kingmove(a, 4, a, 5). d_kingmove(a, 4, a, 3). d_kingmove(a, 3, b, 4). d_kingmove(a, 3, b, 3). d_kingmove(a, 3, b, 2). d_kingmove(a, 3, a, 4). d_kingmove(a, 3, a, 2). d_kingmove(a, 2, b, 3). d_kingmove(a, 2, b, 2). d_kingmove(a, 2, b, 1). d_kingmove(a, 2, a, 3). d_kingmove(a, 2, a, 1). d_kingmove(a, 1, b, 2). d_kingmove(a, 1, b, 1). d_kingmove(a, 1, a, 2). d_legal(black, noop) :- d_true(control(white)). d_legal(white, noop) :- d_true(control(black)). d_legal(V75, V76) :- d_true(control(V75)), d_feasible(V75, V76). d_next(cell(e, 7, b)) :- d_does(V77, move(V78, V79, V80, V81, V82)), d_true(cell(e, 7, b)), d_different_cells(e, 7, V79, V80), d_different_cells(e, 7, V81, V82). d_next(cell(e, 7, b)) :- d_does(V83, move(V84, e, 7, V85, V86)). d_next(cell(e, 7, b)) :- d_does(V87, move(b, V88, V89, e, 7)). d_next_file(g, h). d_next_file(f, g). d_next_file(e, f). d_next_file(d, e). d_next_file(c, d). d_next_file(b, c). d_next_file(a, b). d_next_rank(7, 8). d_next_rank(6, 7). d_next_rank(5, 6). d_next_rank(4, 5). d_next_rank(3, 4). d_next_rank(2, 3). d_next_rank(1, 2). d_occupied_by_opponent_or_blank(V90, V91, V92) :- d_true(cell(V90, V91, V93)), d_opponent(V92, V94), d_piece_owner_type(V93, V94, V95). d_occupied_by_opponent_or_blank(V96, V97, V98) :- d_true(cell(V96, V97, b)), d_role(V98). d_opponent(white, black). d_opponent(black, white). d_piece_owner_type(wr, white, rook). d_piece_owner_type(wq, white, queen). d_piece_owner_type(wp, white, pawn). d_piece_owner_type(wn, white, knight). d_piece_owner_type(wk, white, king). d_piece_owner_type(wb, white, bishop). d_piece_owner_type(br, black, rook). d_piece_owner_type(bq, black, queen). d_piece_owner_type(bp, black, pawn). d_piece_owner_type(bn, black, knight). d_piece_owner_type(bk, black, king). d_piece_owner_type(bb, black, bishop). d_queenmove(V99, V100, V101, V102) :- d_rookmove(V99, V100, V101, V102). d_queenmove(V103, V104, V105, V106) :- d_bishopmove(V103, V104, V105, V106). d_rank(8). d_rank(7). d_rank(6). d_rank(5). d_rank(4). d_rank(3). d_rank(2). d_rank(1). d_role(black). d_role(white). d_rookmove(V107, V108, V109, V108) :- d_clear_row(V109, V107, V108). d_rookmove(V110, V111, V112, V111) :- d_clear_row(V110, V112, V111). d_rookmove(V113, V114, V113, V115) :- d_clear_column(V113, V115, V114). d_rookmove(V116, V117, V116, V118) :- d_clear_column(V116, V117, V118). gen_static_domain_d_bishopmove_1(V119, V120, V121, V122) :- gen_static_domain_d_clear_diagonal_ne_1(V119, V120, V121, V122). gen_static_domain_d_bishopmove_1(V123, V124, V125, V126) :- gen_static_domain_d_clear_diagonal_ne_1(V125, V126, V123, V124). gen_static_domain_d_bishopmove_1(V127, V128, V129, V130) :- gen_static_domain_d_clear_diagonal_se_1(V127, V128, V129, V130). gen_static_domain_d_bishopmove_1(V131, V132, V133, V134) :- gen_static_domain_d_clear_diagonal_se_1(V133, V134, V131, V132). gen_static_domain_d_clear_column_1(V135, V136, V137) :- d_next_rank(V136, V137), d_file(V135). gen_static_domain_d_clear_column_1(V138, V139, V140) :- d_next_rank(V139, V141), argstack_dom_101(V141), argstack_dom_70(V138), argstack_dom_64(V140), argstack_dom_38(V141), argstack_dom_7(V138). gen_static_domain_d_clear_diagonal_ne_1(V142, V143, V144, V145) :- d_next_file(V142, V144), d_next_rank(V143, V145). gen_static_domain_d_clear_diagonal_ne_1(V146, V147, V148, V149) :- d_next_file(V146, V150), d_next_rank(V147, V151), argstack_dom_101(V151), argstack_dom_70(V150), argstack_dom_103(V149), argstack_dom_73(V148), argstack_dom_44(V151), argstack_dom_13(V150). gen_static_domain_d_clear_diagonal_se_1(V152, V153, V154, V155) :- d_next_file(V152, V154), d_next_rank(V155, V153). gen_static_domain_d_clear_diagonal_se_1(V156, V157, V158, V159) :- d_next_file(V156, V160), d_next_rank(V161, V157), argstack_dom_101(V161), argstack_dom_70(V160), argstack_dom_95(V159), argstack_dom_67(V158), argstack_dom_39(V161), argstack_dom_9(V160). gen_static_domain_d_clear_row_1(V162, V163, V164) :- d_next_file(V162, V163), d_rank(V164). gen_static_domain_d_clear_row_1(V165, V166, V167) :- d_next_file(V165, V168), argstack_dom_101(V167), argstack_dom_70(V168), argstack_dom_53(V167), argstack_dom_23(V166), argstack_dom_108(V168). gen_static_domain_d_feasible_1(V169, move(V170, V171, V172, V173, V174)) :- d_piece_owner_type(V170, V169, king), argstack_dom_18(V170), argstack_dom_101(V172), argstack_dom_70(V171), d_kingmove(V171, V172, V173, V174), gen_static_domain_d_occupied_by_opponent_or_blank_1(V173, V174, V169). gen_static_domain_d_feasible_1(V175, move(V176, V177, V178, V179, V180)) :- d_piece_owner_type(V176, V175, queen), argstack_dom_18(V176), argstack_dom_101(V178), argstack_dom_70(V177), gen_static_domain_d_queenmove_1(V177, V178, V179, V180), gen_static_domain_d_occupied_by_opponent_or_blank_1(V179, V180, V175). gen_static_domain_d_feasible_1(V181, move(V182, V183, V184, V185, V186)) :- d_piece_owner_type(V182, V181, rook), argstack_dom_18(V182), argstack_dom_101(V184), argstack_dom_70(V183), gen_static_domain_d_rookmove_1(V183, V184, V185, V186), gen_static_domain_d_occupied_by_opponent_or_blank_1(V185, V186, V181). gen_static_domain_d_legal_1(V187, V188) :- argstack_dom_82(V187), gen_static_domain_d_feasible_1(V187, V188). gen_static_domain_d_legal_1(white, noop). gen_static_domain_d_legal_1(black, noop). gen_static_domain_d_occupied_by_opponent_or_blank_1(V189, V190, V191) :- argstack_dom_101(V190), argstack_dom_70(V189), d_role(V191). gen_static_domain_d_occupied_by_opponent_or_blank_1(V192, V193, V194) :- argstack_dom_18(V195), argstack_dom_101(V193), argstack_dom_70(V192), d_opponent(V194, V196), d_piece_owner_type(V195, V196, V197). gen_static_domain_d_queenmove_1(V198, V199, V200, V201) :- gen_static_domain_d_bishopmove_1(V198, V199, V200, V201). gen_static_domain_d_queenmove_1(V202, V203, V204, V205) :- gen_static_domain_d_rookmove_1(V202, V203, V204, V205). gen_static_domain_d_rookmove_1(V206, V207, V206, V208) :- gen_static_domain_d_clear_column_1(V206, V207, V208). gen_static_domain_d_rookmove_1(V209, V210, V209, V211) :- gen_static_domain_d_clear_column_1(V209, V211, V210). gen_static_domain_d_rookmove_1(V212, V213, V214, V213) :- gen_static_domain_d_clear_row_1(V212, V214, V213). gen_static_domain_d_rookmove_1(V215, V216, V217, V216) :- gen_static_domain_d_clear_row_1(V217, V215, V216). :- d_true(cell(e, 7, b)). :- not d_next(cell(e, 7, b)).