Encoding consequence_input_arguments_square_+-_.lp

Name	consequence_input_arguments_square_+__-___.lp
Class Tree	[Root] General Game Playing (982) Dresden (927) gameofsquares (3)
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). 0 [ d_true(prevstartsq(V3)):argstack_dom_57(V3) ] 1. 0 [ d_true(prevdir(V4)):argstack_dom_6(V4) ] 1. 0 [ d_true(numofpebleft(V5)):argstack_dom_58(V5) ] 1. 1 [ d_true(flipplayer(V6)):argstack_dom_47(V6) ] 1. 1 [ d_true(control(V7)):argstack_dom_49(V7) ] 1. 1 [ d_does(V1, V2):gen_static_domain_d_legal_1(V1, V2) ] 1 :- d_role(V1). argstack_dom_28(1). argstack_dom_28(2). argstack_dom_28(3). argstack_dom_28(4). argstack_dom_28(5). argstack_dom_28(6). argstack_dom_28(7). argstack_dom_28(8). argstack_dom_28(9). argstack_dom_28(10). argstack_dom_28(11). argstack_dom_28(12). argstack_dom_42(1). argstack_dom_42(2). argstack_dom_42(3). argstack_dom_42(4). argstack_dom_42(6). argstack_dom_42(7). argstack_dom_42(8). argstack_dom_42(9). argstack_dom_42(10). argstack_dom_42(11). argstack_dom_42(12). argstack_dom_42(13). argstack_dom_42(14). argstack_dom_42(15). argstack_dom_42(16). argstack_dom_42(17). argstack_dom_42(18). argstack_dom_42(19). argstack_dom_42(20). argstack_dom_42(21). argstack_dom_42(22). argstack_dom_42(23). argstack_dom_42(24). argstack_dom_42(25). argstack_dom_42(26). argstack_dom_42(27). argstack_dom_42(28). argstack_dom_42(29). argstack_dom_42(30). argstack_dom_42(31). argstack_dom_42(32). argstack_dom_42(33). argstack_dom_42(34). argstack_dom_42(35). argstack_dom_42(36). argstack_dom_42(37). argstack_dom_42(38). argstack_dom_42(39). argstack_dom_42(40). argstack_dom_42(41). argstack_dom_42(42). argstack_dom_42(43). argstack_dom_42(44). argstack_dom_42(45). argstack_dom_42(46). argstack_dom_42(47). argstack_dom_42(48). argstack_dom_42(49). argstack_dom_42(50). argstack_dom_42(51). argstack_dom_42(52). argstack_dom_42(53). argstack_dom_42(54). argstack_dom_42(55). argstack_dom_42(56). argstack_dom_42(57). argstack_dom_42(58). argstack_dom_42(59). argstack_dom_42(60). argstack_dom_42(61). argstack_dom_42(62). argstack_dom_42(63). argstack_dom_42(64). argstack_dom_42(65). argstack_dom_42(66). argstack_dom_42(67). argstack_dom_42(68). argstack_dom_42(69). argstack_dom_42(70). argstack_dom_42(71). argstack_dom_42(72). argstack_dom_42(73). argstack_dom_42(74). argstack_dom_42(75). argstack_dom_42(76). argstack_dom_42(77). argstack_dom_42(78). argstack_dom_42(79). argstack_dom_42(80). argstack_dom_42(81). argstack_dom_42(82). argstack_dom_42(83). argstack_dom_42(84). argstack_dom_42(85). argstack_dom_42(86). argstack_dom_42(87). argstack_dom_42(88). argstack_dom_42(89). argstack_dom_42(90). argstack_dom_42(91). argstack_dom_42(92). argstack_dom_42(93). argstack_dom_42(94). argstack_dom_42(95). argstack_dom_42(96). argstack_dom_42(97). argstack_dom_42(98). argstack_dom_42(99). argstack_dom_42(100). argstack_dom_42(5). argstack_dom_42(0). argstack_dom_47(1). argstack_dom_47(0). argstack_dom_49(aplayer). argstack_dom_49(bplayer). argstack_dom_57(11). argstack_dom_57(10). argstack_dom_57(9). argstack_dom_57(8). argstack_dom_57(7). argstack_dom_57(6). argstack_dom_57(5). argstack_dom_57(4). argstack_dom_57(3). argstack_dom_57(2). argstack_dom_57(1). argstack_dom_57(12). argstack_dom_57(0). argstack_dom_58(1). argstack_dom_58(2). argstack_dom_58(3). argstack_dom_58(4). argstack_dom_58(5). argstack_dom_58(6). argstack_dom_58(7). argstack_dom_58(8). argstack_dom_58(9). argstack_dom_58(10). argstack_dom_58(11). argstack_dom_58(12). argstack_dom_58(13). argstack_dom_58(14). argstack_dom_58(15). argstack_dom_58(16). argstack_dom_58(17). argstack_dom_58(18). argstack_dom_58(19). argstack_dom_58(20). argstack_dom_58(21). argstack_dom_58(22). argstack_dom_58(23). argstack_dom_58(24). argstack_dom_58(25). argstack_dom_58(26). argstack_dom_58(27). argstack_dom_58(28). argstack_dom_58(29). argstack_dom_58(30). argstack_dom_58(31). argstack_dom_58(32). argstack_dom_58(33). argstack_dom_58(34). argstack_dom_58(35). argstack_dom_58(36). argstack_dom_58(37). argstack_dom_58(38). argstack_dom_58(39). argstack_dom_58(40). argstack_dom_58(41). argstack_dom_58(42). argstack_dom_58(43). argstack_dom_58(44). argstack_dom_58(45). argstack_dom_58(46). argstack_dom_58(47). argstack_dom_58(48). argstack_dom_58(49). argstack_dom_58(50). argstack_dom_58(51). argstack_dom_58(52). argstack_dom_58(53). argstack_dom_58(54). argstack_dom_58(55). argstack_dom_58(56). argstack_dom_58(57). argstack_dom_58(58). argstack_dom_58(59). argstack_dom_58(60). argstack_dom_58(61). argstack_dom_58(62). argstack_dom_58(63). argstack_dom_58(64). argstack_dom_58(65). argstack_dom_58(66). argstack_dom_58(67). argstack_dom_58(68). argstack_dom_58(69). argstack_dom_58(70). argstack_dom_58(71). argstack_dom_58(72). argstack_dom_58(73). argstack_dom_58(74). argstack_dom_58(75). argstack_dom_58(76). argstack_dom_58(77). argstack_dom_58(78). argstack_dom_58(79). argstack_dom_58(80). argstack_dom_58(81). argstack_dom_58(82). argstack_dom_58(83). argstack_dom_58(84). argstack_dom_58(85). argstack_dom_58(86). argstack_dom_58(87). argstack_dom_58(88). argstack_dom_58(89). argstack_dom_58(90). argstack_dom_58(91). argstack_dom_58(92). argstack_dom_58(93). argstack_dom_58(94). argstack_dom_58(95). argstack_dom_58(96). argstack_dom_58(97). argstack_dom_58(98). argstack_dom_58(99). argstack_dom_58(0). argstack_dom_6(cclkwise). argstack_dom_6(clkwise). d_direction(clkwise). d_direction(cclkwise). d_homesq(bplayer, 11). d_homesq(bplayer, 10). d_homesq(bplayer, 9). d_homesq(bplayer, 7). d_homesq(bblayer, 8). d_homesq(aplayer, 5). d_homesq(aplayer, 4). d_homesq(aplayer, 3). d_homesq(aplayer, 2). d_homesq(aplayer, 1). d_legal(bplayer, noop) :- d_true(control(aplayer)). d_legal(aplayer, noop) :- d_true(control(bplayer)). d_legal(V8, winpeb(V9)) :- d_true(control(V8)), d_true(flipplayer(0)), d_true(prevdir(V10)), d_true(prevstartsq(V11)), d_true(numofpebleft(0)), d_nextcell(V11, V12, V10), d_nextcell(V12, V13, V10), d_nextcell(V13, V9, V10), d_true(square(V13, 0)), d_true(square(V9, V14)), V14!=0. d_legal(V15, movepeb(V16, V17, V18)) :- d_true(control(V15)), d_true(flipplayer(0)), d_true(prevdir(V18)), d_true(prevstartsq(V19)), d_true(numofpebleft(0)), d_nextcell(V19, V20, V18), d_nextcell(V20, V17, V18), d_true(square(V17, V16)), V16!=0. d_legal(V21, movepeb(V22, V23, V24)) :- d_true(control(V21)), d_true(flipplayer(0)), d_true(prevdir(V24)), d_true(prevstartsq(V25)), d_true(numofpebleft(V22)), V22!=0, d_nextcell(V25, V23, V24). d_legal(V26, movepeb(V27, V28, V29)) :- d_true(control(V26)), d_homesq(V26, V28), d_true(square(V28, V27)), V27!=0, d_direction(V29), d_true(flipplayer(1)). d_next(square(V30, 0)) :- d_true(control(V31)), d_does(V31, winpeb(V30)). d_next(square(V32, V33)) :- d_true(square(V32, V33)), d_does(V34, movepeb(V35, V36, V37)), d_nextcell(V36, V38, V37), V36!=V32, V38!=V32. d_next(square(V39, 0)) :- d_does(V40, movepeb(V41, V39, V42)), d_true(flipplayer(1)). d_next(square(V43, V44)) :- d_does(V45, movepeb(V46, V47, V48)), V46!=0, d_nextcell(V47, V43, V48), d_true(square(V43, V49)), d_succ(V49, V44). d_nextcell(12, 11, cclkwise). d_nextcell(12, 1, clkwise). d_nextcell(11, 12, clkwise). d_nextcell(11, 10, cclkwise). d_nextcell(10, 11, clkwise). d_nextcell(10, 9, cclkwise). d_nextcell(9, 10, clkwise). d_nextcell(9, 8, cclkwise). d_nextcell(8, 9, clkwise). d_nextcell(8, 7, cclkwise). d_nextcell(7, 8, clkwise). d_nextcell(7, 6, cclkwise). d_nextcell(6, 7, clkwise). d_nextcell(6, 5, cclkwise). d_nextcell(5, 6, clkwise). d_nextcell(5, 4, cclkwise). d_nextcell(4, 5, clkwise). d_nextcell(4, 3, cclkwise). d_nextcell(3, 4, clkwise). d_nextcell(3, 2, cclkwise). d_nextcell(2, 3, clkwise). d_nextcell(2, 1, cclkwise). d_nextcell(1, 12, cclkwise). d_nextcell(1, 2, clkwise). d_role(bplayer). d_role(aplayer). d_succ(99, 100). d_succ(98, 99). d_succ(97, 98). d_succ(96, 97). d_succ(95, 96). d_succ(94, 95). d_succ(93, 94). d_succ(92, 93). d_succ(91, 92). d_succ(90, 91). d_succ(89, 90). d_succ(88, 89). d_succ(87, 88). d_succ(86, 87). d_succ(85, 86). d_succ(84, 85). d_succ(83, 84). d_succ(82, 83). d_succ(81, 82). d_succ(80, 81). d_succ(79, 80). d_succ(78, 79). d_succ(77, 78). d_succ(76, 77). d_succ(75, 76). d_succ(74, 75). d_succ(73, 74). d_succ(72, 73). d_succ(71, 72). d_succ(70, 71). d_succ(69, 70). d_succ(68, 69). d_succ(67, 68). d_succ(66, 67). d_succ(65, 66). d_succ(64, 65). d_succ(63, 64). d_succ(62, 63). d_succ(61, 62). d_succ(60, 61). d_succ(59, 60). d_succ(58, 59). d_succ(57, 58). d_succ(56, 57). d_succ(55, 56). d_succ(54, 55). d_succ(53, 54). d_succ(52, 53). d_succ(51, 52). d_succ(50, 51). d_succ(49, 50). d_succ(48, 49). d_succ(47, 48). d_succ(46, 47). d_succ(45, 46). d_succ(44, 45). d_succ(43, 44). d_succ(42, 43). d_succ(41, 42). d_succ(40, 41). d_succ(39, 40). d_succ(38, 39). d_succ(37, 38). d_succ(36, 37). d_succ(35, 36). d_succ(34, 35). d_succ(33, 34). d_succ(32, 33). d_succ(31, 32). d_succ(30, 31). d_succ(29, 30). d_succ(28, 29). d_succ(27, 28). d_succ(26, 27). d_succ(25, 26). d_succ(24, 25). d_succ(23, 24). d_succ(22, 23). d_succ(21, 22). d_succ(20, 21). d_succ(19, 20). d_succ(18, 19). d_succ(17, 18). d_succ(16, 17). d_succ(15, 16). d_succ(14, 15). d_succ(13, 14). d_succ(12, 13). d_succ(11, 12). d_succ(10, 11). d_succ(9, 10). d_succ(8, 9). d_succ(7, 8). d_succ(6, 7). d_succ(5, 6). d_succ(4, 5). d_succ(3, 4). d_succ(2, 3). d_succ(1, 2). d_succ(0, 1). gen_static_domain_d_legal_1(V50, movepeb(V51, V52, V53)) :- argstack_dom_49(V50), d_homesq(V50, V52), argstack_dom_42(V51), argstack_dom_28(V52), V51!=0, d_direction(V53). gen_static_domain_d_legal_1(V54, movepeb(V55, V56, V57)) :- argstack_dom_49(V54), argstack_dom_6(V57), argstack_dom_57(V58), argstack_dom_58(V55), V55!=0, d_nextcell(V58, V56, V57). gen_static_domain_d_legal_1(V59, movepeb(V60, V61, V62)) :- argstack_dom_49(V59), argstack_dom_6(V62), argstack_dom_57(V63), d_nextcell(V63, V64, V62), d_nextcell(V64, V61, V62), argstack_dom_42(V60), argstack_dom_28(V61), V60!=0. gen_static_domain_d_legal_1(V65, winpeb(V66)) :- argstack_dom_49(V65), argstack_dom_6(V67), argstack_dom_57(V68), d_nextcell(V68, V69, V67), d_nextcell(V69, V70, V67), d_nextcell(V70, V66, V67), argstack_dom_28(V70), argstack_dom_42(V71), argstack_dom_28(V66), V71!=0. gen_static_domain_d_legal_1(aplayer, noop). gen_static_domain_d_legal_1(bplayer, noop). :- input_arguments_square_pm_next(V72):argstack_dom_28(V72). 0 [ d_true(square(V73, V74)):argstack_dom_42(V74) ] 1 :- argstack_dom_28(V73). input_arguments_square_pm_next(V75) :- 0 [ d_next(square(V75, V76)):argstack_dom_42(V76) ] 1, argstack_dom_28(V75).