Encoding consequence_persistent_true_fluent_cell_g5wk___.lp

Name	consequence_persistent_true_fluent_cell_g__5__wk___.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(g, 5, h, 8). d_different_cells(g, 5, h, 7). d_different_cells(g, 5, h, 6). d_different_cells(g, 5, h, 5). d_different_cells(g, 5, h, 4). d_different_cells(g, 5, h, 3). d_different_cells(g, 5, h, 2). d_different_cells(g, 5, h, 1). d_different_cells(g, 5, g, 8). d_different_cells(g, 5, g, 7). d_different_cells(g, 5, g, 6). d_different_cells(g, 5, g, 4). d_different_cells(g, 5, g, 3). d_different_cells(g, 5, g, 2). d_different_cells(g, 5, g, 1). d_different_cells(g, 5, f, 8). d_different_cells(g, 5, f, 7). d_different_cells(g, 5, f, 6). d_different_cells(g, 5, f, 5). d_different_cells(g, 5, f, 4). d_different_cells(g, 5, f, 3). d_different_cells(g, 5, f, 2). d_different_cells(g, 5, f, 1). d_different_cells(g, 5, e, 8). d_different_cells(g, 5, e, 7). d_different_cells(g, 5, e, 6). d_different_cells(g, 5, e, 5). d_different_cells(g, 5, e, 4). d_different_cells(g, 5, e, 3). d_different_cells(g, 5, e, 2). d_different_cells(g, 5, e, 1). d_different_cells(g, 5, d, 8). d_different_cells(g, 5, d, 7). d_different_cells(g, 5, d, 6). d_different_cells(g, 5, d, 5). d_different_cells(g, 5, d, 4). d_different_cells(g, 5, d, 3). d_different_cells(g, 5, d, 2). d_different_cells(g, 5, d, 1). d_different_cells(g, 5, c, 8). d_different_cells(g, 5, c, 7). d_different_cells(g, 5, c, 6). d_different_cells(g, 5, c, 5). d_different_cells(g, 5, c, 4). d_different_cells(g, 5, c, 3). d_different_cells(g, 5, c, 2). d_different_cells(g, 5, c, 1). d_different_cells(g, 5, b, 8). d_different_cells(g, 5, b, 7). d_different_cells(g, 5, b, 6). d_different_cells(g, 5, b, 5). d_different_cells(g, 5, b, 4). d_different_cells(g, 5, b, 3). d_different_cells(g, 5, b, 2). d_different_cells(g, 5, b, 1). d_different_cells(g, 5, a, 8). d_different_cells(g, 5, a, 7). d_different_cells(g, 5, a, 6). d_different_cells(g, 5, a, 5). d_different_cells(g, 5, a, 4). d_different_cells(g, 5, a, 3). d_different_cells(g, 5, a, 2). d_different_cells(g, 5, 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(g, 5, wk)) :- d_does(V77, move(V78, V79, V80, V81, V82)), d_true(cell(g, 5, wk)), d_different_cells(g, 5, V79, V80), d_different_cells(g, 5, V81, V82). d_next(cell(g, 5, wk)) :- d_does(V83, move(wk, V84, V85, g, 5)). 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(V86, V87, V88) :- d_true(cell(V86, V87, V89)), d_opponent(V88, V90), d_piece_owner_type(V89, V90, V91). d_occupied_by_opponent_or_blank(V92, V93, V94) :- d_true(cell(V92, V93, b)), d_role(V94). 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(V95, V96, V97, V98) :- d_rookmove(V95, V96, V97, V98). d_queenmove(V99, V100, V101, V102) :- d_bishopmove(V99, V100, V101, V102). 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(V103, V104, V105, V104) :- d_clear_row(V105, V103, V104). d_rookmove(V106, V107, V108, V107) :- d_clear_row(V106, V108, V107). d_rookmove(V109, V110, V109, V111) :- d_clear_column(V109, V111, V110). d_rookmove(V112, V113, V112, V114) :- d_clear_column(V112, V113, V114). gen_static_domain_d_bishopmove_1(V115, V116, V117, V118) :- gen_static_domain_d_clear_diagonal_ne_1(V115, V116, V117, V118). gen_static_domain_d_bishopmove_1(V119, V120, V121, V122) :- gen_static_domain_d_clear_diagonal_ne_1(V121, V122, V119, V120). gen_static_domain_d_bishopmove_1(V123, V124, V125, V126) :- gen_static_domain_d_clear_diagonal_se_1(V123, V124, V125, V126). gen_static_domain_d_bishopmove_1(V127, V128, V129, V130) :- gen_static_domain_d_clear_diagonal_se_1(V129, V130, V127, V128). gen_static_domain_d_clear_column_1(V131, V132, V133) :- d_next_rank(V132, V133), d_file(V131). gen_static_domain_d_clear_column_1(V134, V135, V136) :- d_next_rank(V135, V137), argstack_dom_101(V137), argstack_dom_70(V134), argstack_dom_64(V136), argstack_dom_38(V137), argstack_dom_7(V134). gen_static_domain_d_clear_diagonal_ne_1(V138, V139, V140, V141) :- d_next_file(V138, V140), d_next_rank(V139, V141). gen_static_domain_d_clear_diagonal_ne_1(V142, V143, V144, V145) :- d_next_file(V142, V146), d_next_rank(V143, V147), argstack_dom_101(V147), argstack_dom_70(V146), argstack_dom_103(V145), argstack_dom_73(V144), argstack_dom_44(V147), argstack_dom_13(V146). gen_static_domain_d_clear_diagonal_se_1(V148, V149, V150, V151) :- d_next_file(V148, V150), d_next_rank(V151, V149). gen_static_domain_d_clear_diagonal_se_1(V152, V153, V154, V155) :- d_next_file(V152, V156), d_next_rank(V157, V153), argstack_dom_101(V157), argstack_dom_70(V156), argstack_dom_95(V155), argstack_dom_67(V154), argstack_dom_39(V157), argstack_dom_9(V156). gen_static_domain_d_clear_row_1(V158, V159, V160) :- d_next_file(V158, V159), d_rank(V160). gen_static_domain_d_clear_row_1(V161, V162, V163) :- d_next_file(V161, V164), argstack_dom_101(V163), argstack_dom_70(V164), argstack_dom_53(V163), argstack_dom_23(V162), argstack_dom_108(V164). gen_static_domain_d_feasible_1(V165, move(V166, V167, V168, V169, V170)) :- d_piece_owner_type(V166, V165, king), argstack_dom_18(V166), argstack_dom_101(V168), argstack_dom_70(V167), d_kingmove(V167, V168, V169, V170), gen_static_domain_d_occupied_by_opponent_or_blank_1(V169, V170, V165). gen_static_domain_d_feasible_1(V171, move(V172, V173, V174, V175, V176)) :- d_piece_owner_type(V172, V171, queen), argstack_dom_18(V172), argstack_dom_101(V174), argstack_dom_70(V173), gen_static_domain_d_queenmove_1(V173, V174, V175, V176), gen_static_domain_d_occupied_by_opponent_or_blank_1(V175, V176, V171). gen_static_domain_d_feasible_1(V177, move(V178, V179, V180, V181, V182)) :- d_piece_owner_type(V178, V177, rook), argstack_dom_18(V178), argstack_dom_101(V180), argstack_dom_70(V179), gen_static_domain_d_rookmove_1(V179, V180, V181, V182), gen_static_domain_d_occupied_by_opponent_or_blank_1(V181, V182, V177). gen_static_domain_d_legal_1(V183, V184) :- argstack_dom_82(V183), gen_static_domain_d_feasible_1(V183, V184). 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(V185, V186, V187) :- argstack_dom_101(V186), argstack_dom_70(V185), d_role(V187). gen_static_domain_d_occupied_by_opponent_or_blank_1(V188, V189, V190) :- argstack_dom_18(V191), argstack_dom_101(V189), argstack_dom_70(V188), d_opponent(V190, V192), d_piece_owner_type(V191, V192, V193). gen_static_domain_d_queenmove_1(V194, V195, V196, V197) :- gen_static_domain_d_bishopmove_1(V194, V195, V196, V197). gen_static_domain_d_queenmove_1(V198, V199, V200, V201) :- gen_static_domain_d_rookmove_1(V198, V199, V200, V201). gen_static_domain_d_rookmove_1(V202, V203, V202, V204) :- gen_static_domain_d_clear_column_1(V202, V203, V204). gen_static_domain_d_rookmove_1(V205, V206, V205, V207) :- gen_static_domain_d_clear_column_1(V205, V207, V206). gen_static_domain_d_rookmove_1(V208, V209, V210, V209) :- gen_static_domain_d_clear_row_1(V208, V210, V209). gen_static_domain_d_rookmove_1(V211, V212, V213, V212) :- gen_static_domain_d_clear_row_1(V213, V211, V212). :- not d_true(cell(g, 5, wk)). :- d_next(cell(g, 5, wk)).