Encoding consequence_exact_input_arguments_wall_+-+--___.lp

Name	consequence_exact_input_arguments_wall_+__-__+__-__-___.lp
Class Tree	[Root] General Game Playing (982) Dresden (927) hallway (15)
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_62(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_50(V4):argstack_dom_79(V5):argstack_dom_17(V6) ]. [ d_true(walls(V7, V8)):argstack_dom_66(V7):argstack_dom_6(V8) ]. argstack_dom_17(wp). argstack_dom_17(bp). argstack_dom_17(b). argstack_dom_19(1). argstack_dom_19(2). argstack_dom_19(3). argstack_dom_19(4). argstack_dom_19(5). argstack_dom_19(6). argstack_dom_19(7). argstack_dom_19(8). argstack_dom_41(2). argstack_dom_41(3). argstack_dom_41(4). argstack_dom_41(5). argstack_dom_41(6). argstack_dom_41(7). argstack_dom_41(8). argstack_dom_41(9). argstack_dom_50(a). argstack_dom_50(b). argstack_dom_50(c). argstack_dom_50(d). argstack_dom_50(e). argstack_dom_50(f). argstack_dom_50(g). argstack_dom_50(h). argstack_dom_50(i). argstack_dom_55(a). argstack_dom_55(b). argstack_dom_55(c). argstack_dom_55(d). argstack_dom_55(e). argstack_dom_55(f). argstack_dom_55(g). argstack_dom_55(h). argstack_dom_6(0). argstack_dom_6(1). argstack_dom_6(2). argstack_dom_6(3). argstack_dom_6(5). argstack_dom_6(6). argstack_dom_6(7). argstack_dom_6(8). argstack_dom_6(9). argstack_dom_6(10). argstack_dom_6(11). argstack_dom_6(12). argstack_dom_6(13). argstack_dom_6(14). argstack_dom_6(15). argstack_dom_6(16). argstack_dom_6(17). argstack_dom_6(18). argstack_dom_6(19). argstack_dom_6(20). argstack_dom_6(21). argstack_dom_6(22). argstack_dom_6(23). argstack_dom_6(24). argstack_dom_6(25). argstack_dom_6(26). argstack_dom_6(27). argstack_dom_6(28). argstack_dom_6(29). argstack_dom_6(30). argstack_dom_6(4). argstack_dom_60(white). argstack_dom_60(black). argstack_dom_60(none). argstack_dom_62(white). argstack_dom_62(black). argstack_dom_66(white). argstack_dom_66(black). argstack_dom_79(1). 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_79(9). argstack_dom_83(b). argstack_dom_83(c). argstack_dom_83(d). argstack_dom_83(e). argstack_dom_83(f). argstack_dom_83(g). argstack_dom_83(h). argstack_dom_83(i). d_adjacent(8, 9). d_adjacent(7, 8). d_adjacent(6, 7). d_adjacent(5, 6). d_adjacent(4, 5). d_adjacent(3, 4). d_adjacent(2, 3). d_adjacent(1, 2). d_coordinate(i). d_coordinate(h). d_coordinate(g). d_coordinate(f). d_coordinate(e). d_coordinate(d). d_coordinate(c). d_coordinate(b). d_coordinate(a). d_coordinate(9). d_coordinate(8). d_coordinate(7). d_coordinate(6). d_coordinate(5). d_coordinate(4). d_coordinate(3). d_coordinate(2). d_coordinate(1). d_greater(31, 0). d_greater(30, 0). d_greater(29, 0). d_greater(28, 0). d_greater(27, 0). d_greater(26, 0). d_greater(25, 0). d_greater(24, 0). d_greater(23, 0). d_greater(22, 0). d_greater(21, 0). d_greater(20, 0). d_greater(19, 0). d_greater(18, 0). d_greater(17, 0). d_greater(16, 0). d_greater(15, 0). d_greater(14, 0). d_greater(13, 0). d_greater(12, 0). d_greater(11, 0). d_greater(10, 0). d_greater(9, 0). d_greater(8, 0). d_greater(7, 0). d_greater(6, 0). d_greater(5, 0). d_greater(4, 0). d_greater(3, 0). d_greater(2, 0). d_greater(1, 0). d_legal(V9, noop) :- d_role(V9). d_legal(black, move(bp, V10, V11, V12, V13)) :- d_true(control(black)), d_true(cell(V10, V11, bp)), d_pawnmove(V10, V11, V12, V13), d_true(cell(V12, V13, b)). d_legal(white, move(wp, V14, V15, V16, V17)) :- d_true(control(white)), d_true(cell(V14, V15, wp)), d_pawnmove(V14, V15, V16, V17), d_true(cell(V16, V17, b)). d_legal(V18, place(V19, V20, V21, V22)) :- d_true(control(V18)), d_true(walls(V18, V23)), d_greater(V23, 0), d_true(wall(V19, V20, V21, V22, none)), d_adjacent(V22, V24), d_true(wall(V19, V20, V22, V24, none)), d_adjacent(V25, V21), d_true(wall(V19, V20, V22, V24, none)). d_legal(V26, place(V27, V28, 8, 9)) :- d_true(control(V26)), d_true(walls(V26, V29)), d_greater(V29, 0), d_true(wall(V27, V28, 8, 9, none)), d_true(wall(V27, V28, 7, 8, none)). d_legal(V30, place(V31, V32, 1, 2)) :- d_true(control(V30)), d_true(walls(V30, V33)), d_greater(V33, 0), d_true(wall(V31, V32, 1, 2, none)), d_true(wall(V31, V32, 2, 3, none)). d_next(wall(V34, V35, V36, V37, V38)) :- d_does(V38, place(V34, V35, V36, V37)), d_true(wall(V34, V35, V36, V37, none)). d_next(wall(V39, V40, V41, V42, none)) :- gen_disjunction_2(V42, V41, V40, V39). d_next(wall(V43, V44, V45, V46, V47)) :- d_does(V48, place(V49, V50, V51, V52)), d_true(wall(V43, V44, V45, V46, V47)), V47!=none. d_next(wall(V53, V54, V55, V56, V57)) :- d_does(V58, move(V59, V60, V61, V62, V63)), d_true(wall(V53, V54, V55, V56, V57)). d_next(wall(V64, V65, V66, V67, V68)) :- d_true(wall(V64, V65, V66, V67, V68)), d_true(control(V69)), d_does(V69, noop). d_nextcolumn(h, i). d_nextcolumn(g, h). d_nextcolumn(f, g). d_nextcolumn(e, f). d_nextcolumn(d, e). d_nextcolumn(c, d). d_nextcolumn(b, c). d_nextcolumn(a, b). d_pawnmove(V70, V71, V72, V71) :- d_nextcolumn(V72, V70), d_adjacent(V71, V73), d_adjacent(V74, V71), d_true(wall(V72, V70, V71, V73, none)), d_true(wall(V72, V70, V74, V71, none)). d_pawnmove(V75, V76, V77, V76) :- d_nextcolumn(V75, V77), d_adjacent(V76, V78), d_adjacent(V79, V76), d_true(wall(V75, V77, V76, V78, none)), d_true(wall(V75, V77, V79, V76, none)). d_pawnmove(V80, 9, V81, 9) :- d_nextcolumn(V81, V80), d_true(wall(V81, V80, 8, 9, none)). d_pawnmove(V82, 9, V83, 9) :- d_nextcolumn(V82, V83), d_true(wall(V82, V83, 8, 9, none)). d_pawnmove(V84, 1, V85, 1) :- d_nextcolumn(V85, V84), d_true(wall(V85, V84, 1, 2, none)). d_pawnmove(V86, 1, V87, 1) :- d_nextcolumn(V86, V87), d_true(wall(V86, V87, 1, 2, none)). d_pawnmove(V88, V89, V88, V90) :- d_adjacent(V90, V89), d_coordinate(V88). d_pawnmove(V91, V92, V91, V93) :- d_adjacent(V92, V93), d_coordinate(V91). d_role(black). d_role(white). gen_disjunction_2(V94, V95, V96, V97) :- d_does(V98, place(V99, V100, V101, V102)), d_true(wall(V97, V96, V95, V94, none)), V94!=V102. gen_disjunction_2(V103, V104, V105, V106) :- d_does(V107, place(V108, V109, V110, V111)), d_true(wall(V106, V105, V104, V103, none)), V104!=V110. gen_disjunction_2(V112, V113, V114, V115) :- d_does(V116, place(V117, V118, V119, V120)), d_true(wall(V115, V114, V113, V112, none)), V114!=V118. gen_disjunction_2(V121, V122, V123, V124) :- d_does(V125, place(V126, V127, V128, V129)), d_true(wall(V124, V123, V122, V121, none)), V124!=V126. gen_static_domain_d_legal_1(V130, place(V131, V132, 1, 2)) :- argstack_dom_62(V130), argstack_dom_6(V133), argstack_dom_66(V130), d_greater(V133, 0), argstack_dom_83(V132), argstack_dom_55(V131), argstack_dom_83(V132), argstack_dom_55(V131). gen_static_domain_d_legal_1(V134, place(V135, V136, 8, 9)) :- argstack_dom_62(V134), argstack_dom_6(V137), argstack_dom_66(V134), d_greater(V137, 0), argstack_dom_83(V136), argstack_dom_55(V135), argstack_dom_83(V136), argstack_dom_55(V135). gen_static_domain_d_legal_1(V138, place(V139, V140, V141, V142)) :- argstack_dom_62(V138), argstack_dom_6(V143), argstack_dom_66(V138), d_greater(V143, 0), argstack_dom_41(V142), argstack_dom_19(V141), argstack_dom_83(V140), argstack_dom_55(V139), d_adjacent(V142, V144), argstack_dom_41(V144), argstack_dom_19(V142), argstack_dom_83(V140), argstack_dom_55(V139), d_adjacent(V145, V141), argstack_dom_41(V144), argstack_dom_19(V142), argstack_dom_83(V140), argstack_dom_55(V139). gen_static_domain_d_legal_1(white, move(wp, V146, V147, V148, V149)) :- argstack_dom_79(V147), argstack_dom_50(V146), gen_static_domain_d_pawnmove_1(V146, V147, V148, V149), argstack_dom_79(V149), argstack_dom_50(V148). gen_static_domain_d_legal_1(black, move(bp, V150, V151, V152, V153)) :- argstack_dom_79(V151), argstack_dom_50(V150), gen_static_domain_d_pawnmove_1(V150, V151, V152, V153), argstack_dom_79(V153), argstack_dom_50(V152). gen_static_domain_d_legal_1(V154, noop) :- d_role(V154). gen_static_domain_d_pawnmove_1(V155, V156, V155, V157) :- d_adjacent(V156, V157), d_coordinate(V155). gen_static_domain_d_pawnmove_1(V158, V159, V158, V160) :- d_adjacent(V160, V159), d_coordinate(V158). gen_static_domain_d_pawnmove_1(V161, 1, V162, 1) :- d_nextcolumn(V161, V162), argstack_dom_83(V162), argstack_dom_55(V161). gen_static_domain_d_pawnmove_1(V163, 1, V164, 1) :- d_nextcolumn(V164, V163), argstack_dom_83(V163), argstack_dom_55(V164). gen_static_domain_d_pawnmove_1(V165, 9, V166, 9) :- d_nextcolumn(V165, V166), argstack_dom_83(V166), argstack_dom_55(V165). gen_static_domain_d_pawnmove_1(V167, 9, V168, 9) :- d_nextcolumn(V168, V167), argstack_dom_83(V167), argstack_dom_55(V168). gen_static_domain_d_pawnmove_1(V169, V170, V171, V170) :- d_nextcolumn(V169, V171), d_adjacent(V170, V172), d_adjacent(V173, V170), argstack_dom_41(V172), argstack_dom_19(V170), argstack_dom_83(V171), argstack_dom_55(V169), argstack_dom_41(V170), argstack_dom_19(V173), argstack_dom_83(V171), argstack_dom_55(V169). gen_static_domain_d_pawnmove_1(V174, V175, V176, V175) :- d_nextcolumn(V176, V174), d_adjacent(V175, V177), d_adjacent(V178, V175), argstack_dom_41(V177), argstack_dom_19(V175), argstack_dom_83(V174), argstack_dom_55(V176), argstack_dom_41(V175), argstack_dom_19(V178), argstack_dom_83(V174), argstack_dom_55(V176). :- exact_input_arguments_wall_pmpmm_next(V179, V180):argstack_dom_55(V179):argstack_dom_19(V180). 1 [ d_true(wall(V181, V182, V183, V184, V185)):argstack_dom_83(V182):argstack_dom_41(V184):argstack_dom_60(V185) ] 1 :- argstack_dom_55(V181), argstack_dom_19(V183). exact_input_arguments_wall_pmpmm_next(V186, V187) :- 1 [ d_next(wall(V186, V188, V187, V189, V190)):argstack_dom_83(V188):argstack_dom_41(V189):argstack_dom_60(V190) ] 1, argstack_dom_55(V186), argstack_dom_19(V187).