Encoding consequence_persistent_true_fluent_cell_f1teal_.lp

Name	consequence_persistent_true_fluent_cell_f1__teal___.lp
Class Tree	[Root] General Game Playing (982) Dresden (927) chinesecheckers4 (44)
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_47(V3) ] 1. 1 [ d_does(V1, V2):gen_static_domain_d_legal_1(V1, V2) ] 1 :- d_role(V1). [ d_true(cell(V4, V5)):argstack_dom_33(V4):argstack_dom_50(V5) ]. argstack_dom_33(a1). argstack_dom_33(b1). argstack_dom_33(b2). argstack_dom_33(c1). argstack_dom_33(c2). argstack_dom_33(c3). argstack_dom_33(c4). argstack_dom_33(c5). argstack_dom_33(c6). argstack_dom_33(c7). argstack_dom_33(d1). argstack_dom_33(d2). argstack_dom_33(d3). argstack_dom_33(d4). argstack_dom_33(d5). argstack_dom_33(d6). argstack_dom_33(e1). argstack_dom_33(e2). argstack_dom_33(e3). argstack_dom_33(e4). argstack_dom_33(e5). argstack_dom_33(f1). argstack_dom_33(f2). argstack_dom_33(f3). argstack_dom_33(f4). argstack_dom_33(f5). argstack_dom_33(f6). argstack_dom_33(g1). argstack_dom_33(g2). argstack_dom_33(g3). argstack_dom_33(g4). argstack_dom_33(g5). argstack_dom_33(g6). argstack_dom_33(g7). argstack_dom_33(h1). argstack_dom_33(h2). argstack_dom_33(i1). argstack_dom_47(green). argstack_dom_47(blue). argstack_dom_47(magenta). argstack_dom_47(yellow). argstack_dom_50(red). argstack_dom_50(magenta). argstack_dom_50(yellow). argstack_dom_50(blue). argstack_dom_50(blank). argstack_dom_50(green). argstack_dom_50(teal). d_car(yellow, g5, g4). d_car(yellow, g4, g3). d_car(yellow, g3, g2). d_car(yellow, g2, g1). d_car(yellow, f5, f4). d_car(yellow, f4, f3). d_car(yellow, f3, f2). d_car(yellow, f2, f1). d_car(yellow, e5, e4). d_car(yellow, e4, e3). d_car(yellow, e3, e2). d_car(yellow, e2, e1). d_car(yellow, d6, d5). d_car(yellow, d5, d4). d_car(yellow, d4, d3). d_car(yellow, d3, d2). d_car(yellow, c7, c6). d_car(yellow, c6, c5). d_car(yellow, c5, c4). d_car(yellow, c4, c3). d_car(magenta, f6, g7). d_car(magenta, f5, g6). d_car(magenta, f4, g5). d_car(magenta, f3, g4). d_car(magenta, f2, g3). d_car(magenta, e5, f6). d_car(magenta, e4, f5). d_car(magenta, e3, f4). d_car(magenta, e2, f3). d_car(magenta, e1, f2). d_car(magenta, d5, e5). d_car(magenta, d4, e4). d_car(magenta, d3, e3). d_car(magenta, d2, e2). d_car(magenta, d1, e1). d_car(magenta, c5, d5). d_car(magenta, c4, d4). d_car(magenta, c3, d3). d_car(magenta, c2, d2). d_car(magenta, c1, d1). d_car(green, g7, f6). d_car(green, g6, f5). d_car(green, g5, f4). d_car(green, g4, f3). d_car(green, g3, f2). d_car(green, f6, e5). d_car(green, f5, e4). d_car(green, f4, e3). d_car(green, f3, e2). d_car(green, f2, e1). d_car(green, e5, d5). d_car(green, e4, d4). d_car(green, e3, d3). d_car(green, e2, d2). d_car(green, e1, d1). d_car(green, d5, c5). d_car(green, d4, c4). d_car(green, d3, c3). d_car(green, d2, c2). d_car(green, d1, c1). d_car(blue, g4, g5). d_car(blue, g3, g4). d_car(blue, g2, g3). d_car(blue, g1, g2). d_car(blue, f4, f5). d_car(blue, f3, f4). d_car(blue, f2, f3). d_car(blue, f1, f2). d_car(blue, e4, e5). d_car(blue, e3, e4). d_car(blue, e2, e3). d_car(blue, e1, e2). d_car(blue, d5, d6). d_car(blue, d4, d5). d_car(blue, d3, d4). d_car(blue, d2, d3). d_car(blue, c6, c7). d_car(blue, c5, c6). d_car(blue, c4, c5). d_car(blue, c3, c4). d_cdr(yellow, f5, g5). d_cdr(yellow, f4, g4). d_cdr(yellow, f3, g3). d_cdr(yellow, f2, g2). d_cdr(yellow, f1, g1). d_cdr(yellow, e5, f5). d_cdr(yellow, e4, f4). d_cdr(yellow, e3, f3). d_cdr(yellow, e2, f2). d_cdr(yellow, e1, f1). d_cdr(yellow, d6, e5). d_cdr(yellow, d5, e4). d_cdr(yellow, d4, e3). d_cdr(yellow, d3, e2). d_cdr(yellow, d2, e1). d_cdr(yellow, c7, d6). d_cdr(yellow, c6, d5). d_cdr(yellow, c5, d4). d_cdr(yellow, c4, d3). d_cdr(yellow, c3, d2). d_cdr(magenta, g6, g7). d_cdr(magenta, g5, g6). d_cdr(magenta, g4, g5). d_cdr(magenta, g3, g4). d_cdr(magenta, f5, f6). d_cdr(magenta, f4, f5). d_cdr(magenta, f3, f4). d_cdr(magenta, f2, f3). d_cdr(magenta, e4, e5). d_cdr(magenta, e3, e4). d_cdr(magenta, e2, e3). d_cdr(magenta, e1, e2). d_cdr(magenta, d4, d5). d_cdr(magenta, d3, d4). d_cdr(magenta, d2, d3). d_cdr(magenta, d1, d2). d_cdr(magenta, c4, c5). d_cdr(magenta, c3, c4). d_cdr(magenta, c2, c3). d_cdr(magenta, c1, c2). d_cdr(green, g7, g6). d_cdr(green, g6, g5). d_cdr(green, g5, g4). d_cdr(green, g4, g3). d_cdr(green, f6, f5). d_cdr(green, f5, f4). d_cdr(green, f4, f3). d_cdr(green, f3, f2). d_cdr(green, e5, e4). d_cdr(green, e4, e3). d_cdr(green, e3, e2). d_cdr(green, e2, e1). d_cdr(green, d5, d4). d_cdr(green, d4, d3). d_cdr(green, d3, d2). d_cdr(green, d2, d1). d_cdr(green, c5, c4). d_cdr(green, c4, c3). d_cdr(green, c3, c2). d_cdr(green, c2, c1). d_cdr(blue, g5, f5). d_cdr(blue, g4, f4). d_cdr(blue, g3, f3). d_cdr(blue, g2, f2). d_cdr(blue, g1, f1). d_cdr(blue, f5, e5). d_cdr(blue, f4, e4). d_cdr(blue, f3, e3). d_cdr(blue, f2, e2). d_cdr(blue, f1, e1). d_cdr(blue, e5, d6). d_cdr(blue, e4, d5). d_cdr(blue, e3, d4). d_cdr(blue, e2, d3). d_cdr(blue, e1, d2). d_cdr(blue, d6, c7). d_cdr(blue, d5, c6). d_cdr(blue, d4, c5). d_cdr(blue, d3, c4). d_cdr(blue, d2, c3). d_coordinate(i1). d_coordinate(h2). d_coordinate(h1). d_coordinate(g7). d_coordinate(g6). d_coordinate(g5). d_coordinate(g4). d_coordinate(g3). d_coordinate(g2). d_coordinate(g1). d_coordinate(f6). d_coordinate(f5). d_coordinate(f4). d_coordinate(f3). d_coordinate(f2). d_coordinate(f1). d_coordinate(e5). d_coordinate(e4). d_coordinate(e3). d_coordinate(e2). d_coordinate(e1). d_coordinate(d6). d_coordinate(d5). d_coordinate(d4). d_coordinate(d3). d_coordinate(d2). d_coordinate(d1). d_coordinate(c7). d_coordinate(c6). d_coordinate(c5). d_coordinate(c4). d_coordinate(c3). d_coordinate(c2). d_coordinate(c1). d_coordinate(b2). d_coordinate(b1). d_coordinate(a1). d_legal(V6, noop) :- d_true(control(V6)), d_true(cell(V7, V6)), d_stuck(V7, V6), d_true(cell(V8, V6)), V7!=V8, d_stuck(V8, V6), d_true(cell(V9, V6)), V8!=V9, V9!=V7, d_stuck(V9, V6). d_legal(V10, noop) :- d_true(control(V11)), V10!=V11, d_role(V10). d_legal(V12, move(V13, V14)) :- d_true(control(V12)), d_movable(V12, V13, V14). d_movable(V15, V16, V17) :- d_true(cell(V16, V15)), d_cdr(V15, V16, V17), d_true(cell(V17, blank)). d_movable(V18, V19, V20) :- d_true(cell(V19, V18)), d_car(V18, V19, V20), d_true(cell(V20, blank)). d_movable(V21, V22, V23) :- d_true(cell(V22, V21)), d_cdr(V21, V22, V24), d_true(cell(V24, V25)), V25!=blank, d_cdr(V21, V24, V23), d_true(cell(V23, blank)). d_movable(V26, V27, V28) :- d_true(cell(V27, V26)), d_car(V26, V27, V29), d_true(cell(V29, V30)), V30!=blank, d_car(V26, V29, V28), d_true(cell(V28, blank)). d_movable(V31, V32, V33) :- d_true(cell(V32, V31)), d_cdr(V31, V32, V34), d_true(cell(V34, V35)), V35!=blank, d_cdr(V31, V34, V36), d_true(cell(V36, blank)), d_cdr(V31, V36, V37), d_true(cell(V37, V38)), V38!=blank, d_cdr(V31, V37, V33), d_true(cell(V33, blank)). d_movable(V39, V40, V41) :- d_true(cell(V40, V39)), d_cdr(V39, V40, V42), d_true(cell(V42, V43)), V43!=blank, d_cdr(V39, V42, V44), d_true(cell(V44, blank)), d_car(V39, V44, V45), d_true(cell(V45, V46)), V46!=blank, d_car(V39, V45, V41), d_true(cell(V41, blank)). d_movable(V47, V48, V49) :- d_true(cell(V48, V47)), d_car(V47, V48, V50), d_true(cell(V50, V51)), V51!=blank, d_car(V47, V50, V52), d_true(cell(V52, blank)), d_cdr(V47, V52, V53), d_true(cell(V53, V54)), V54!=blank, d_cdr(V47, V53, V49), d_true(cell(V49, blank)). d_movable(V55, V56, V57) :- d_true(cell(V56, V55)), d_car(V55, V56, V58), d_true(cell(V58, V59)), V59!=blank, d_car(V55, V58, V60), d_true(cell(V60, blank)), d_car(V55, V60, V61), d_true(cell(V61, V62)), V62!=blank, d_car(V55, V61, V57), d_true(cell(V57, blank)). d_movableplayer(V63, V64) :- d_movable(V63, V64, V65). d_next(cell(f1, teal)) :- d_true(cell(f1, teal)), d_does(yellow, noop), d_does(green, noop), d_does(blue, noop), d_does(magenta, noop). d_next(cell(f1, teal)) :- d_true(cell(f1, teal)), d_does(V66, move(V67, V68)), f1!=V67, f1!=V68. d_next(cell(f1, teal)) :- d_does(teal, move(V69, f1)). d_role(magenta). d_role(blue). d_role(green). d_role(yellow). d_stuck(V70, V71) :- not d_movableplayer(V71, V70), d_role(V71), d_coordinate(V70). gen_static_domain_d_legal_1(V72, move(V73, V74)) :- argstack_dom_47(V72), gen_static_domain_d_movable_1(V72, V73, V74). gen_static_domain_d_legal_1(V75, noop) :- argstack_dom_47(V76), V75!=V76, d_role(V75). gen_static_domain_d_legal_1(V77, noop) :- argstack_dom_47(V77), argstack_dom_50(V77), argstack_dom_33(V78), gen_static_domain_d_stuck_1(V78, V77), argstack_dom_50(V77), argstack_dom_33(V79), V78!=V79, gen_static_domain_d_stuck_1(V79, V77), argstack_dom_50(V77), argstack_dom_33(V80), V79!=V80, V80!=V78, gen_static_domain_d_stuck_1(V80, V77). gen_static_domain_d_movable_1(V81, V82, V83) :- argstack_dom_50(V81), argstack_dom_33(V82), d_car(V81, V82, V84), argstack_dom_50(V85), argstack_dom_33(V84), V85!=blank, d_car(V81, V84, V86), argstack_dom_33(V86), d_car(V81, V86, V87), argstack_dom_50(V88), argstack_dom_33(V87), V88!=blank, d_car(V81, V87, V83), argstack_dom_33(V83). gen_static_domain_d_movable_1(V89, V90, V91) :- argstack_dom_50(V89), argstack_dom_33(V90), d_car(V89, V90, V92), argstack_dom_50(V93), argstack_dom_33(V92), V93!=blank, d_car(V89, V92, V94), argstack_dom_33(V94), d_cdr(V89, V94, V95), argstack_dom_50(V96), argstack_dom_33(V95), V96!=blank, d_cdr(V89, V95, V91), argstack_dom_33(V91). gen_static_domain_d_movable_1(V97, V98, V99) :- argstack_dom_50(V97), argstack_dom_33(V98), d_cdr(V97, V98, V100), argstack_dom_50(V101), argstack_dom_33(V100), V101!=blank, d_cdr(V97, V100, V102), argstack_dom_33(V102), d_car(V97, V102, V103), argstack_dom_50(V104), argstack_dom_33(V103), V104!=blank, d_car(V97, V103, V99), argstack_dom_33(V99). gen_static_domain_d_movable_1(V105, V106, V107) :- argstack_dom_50(V105), argstack_dom_33(V106), d_cdr(V105, V106, V108), argstack_dom_50(V109), argstack_dom_33(V108), V109!=blank, d_cdr(V105, V108, V110), argstack_dom_33(V110), d_cdr(V105, V110, V111), argstack_dom_50(V112), argstack_dom_33(V111), V112!=blank, d_cdr(V105, V111, V107), argstack_dom_33(V107). gen_static_domain_d_movable_1(V113, V114, V115) :- argstack_dom_50(V113), argstack_dom_33(V114), d_car(V113, V114, V116), argstack_dom_50(V117), argstack_dom_33(V116), V117!=blank, d_car(V113, V116, V115), argstack_dom_33(V115). gen_static_domain_d_movable_1(V118, V119, V120) :- argstack_dom_50(V118), argstack_dom_33(V119), d_cdr(V118, V119, V121), argstack_dom_50(V122), argstack_dom_33(V121), V122!=blank, d_cdr(V118, V121, V120), argstack_dom_33(V120). gen_static_domain_d_movable_1(V123, V124, V125) :- argstack_dom_50(V123), argstack_dom_33(V124), d_car(V123, V124, V125), argstack_dom_33(V125). gen_static_domain_d_movable_1(V126, V127, V128) :- argstack_dom_50(V126), argstack_dom_33(V127), d_cdr(V126, V127, V128), argstack_dom_33(V128). gen_static_domain_d_stuck_1(V129, V130) :- d_role(V130), d_coordinate(V129). :- not d_true(cell(f1, teal)). :- d_next(cell(f1, teal)).