Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Encoding 8puzzle.gdlclingo.pl

Name	8puzzle.gdlclingo.pl
Class Tree	[Root]    General Game Playing (982)      Potsdam (54)
Submitter	Marius Schneider
Author	Marius Schneider
Description
Created	2010-03-01 11:15
Modified	2010-03-01 11:15
Languages	Gringo 2.0.2
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	Yes
Tags
Attributes
Content	role(player). holds(cell(1, 1, 8), 1). holds(cell(1, 2, 7), 1). holds(cell(1, 3, 6), 1). holds(cell(2, 1, 5), 1). holds(cell(2, 2, 4), 1). holds(cell(2, 3, 3), 1). holds(cell(3, 1, 2), 1). holds(cell(3, 2, 1), 1). holds(cell(3, 3, b), 1). holds(step(0), 1). succ(1, 2). succ(2, 3). pred(2, 1). pred(3, 2). holds(step(X), T+1) :- holds(step(Y), T), successor(Y, X), step1Domain(X), step1Domain(Y), timeDomain(T). holds(cell(X, Y, b), T+1) :- does(player, move(X, Y), T), cell1Domain(X), cell2Domain(Y), timeDomain(T). holds(cell(U, Y, Z), T+1) :- does(player, move(X, Y), T), holds(cell(U, Y, b), T), holds(cell(X, Y, Z), T), Z != b, cell1Domain(U), cell2Domain(Y), cell3Domain(Z), cell1Domain(X), timeDomain(T). holds(cell(X, V, Z), T+1) :- does(player, move(X, Y), T), holds(cell(X, V, b), T), holds(cell(X, Y, Z), T), Z != b, cell1Domain(X), cell2Domain(V), cell3Domain(Z), cell2Domain(Y), timeDomain(T). goal(player, 100, T) :- inorder(T), holds(step(30), T), timeDomain(T). goal(player, 99, T) :- inorder(T), holds(step(X), T), X != 30, step1Domain(X), timeDomain(T). goal(player, 0, T) :- not inorder(T), timeDomain(T). terminal(T) :- inorder(T), timeDomain(T). terminal(T) :- holds(step(60), T), timeDomain(T). inorder(T) :- holds(cell(1, 1, 1), T), holds(cell(1, 2, 2), T), holds(cell(1, 3, 3), T), holds(cell(2, 1, 4), T), holds(cell(2, 2, 5), T), holds(cell(2, 3, 6), T), holds(cell(3, 1, 7), T), holds(cell(3, 2, 8), T), holds(cell(3, 3, b), T), timeDomain(T). successor(0, 1). successor(1, 2). successor(2, 3). successor(3, 4). successor(4, 5). successor(5, 6). successor(6, 7). successor(7, 8). successor(8, 9). successor(9, 10). successor(10, 11). successor(11, 12). successor(12, 13). successor(13, 14). successor(14, 15). successor(15, 16). successor(16, 17). successor(17, 18). successor(18, 19). successor(19, 20). successor(20, 21). successor(21, 22). successor(22, 23). successor(23, 24). successor(24, 25). successor(25, 26). successor(26, 27). successor(27, 28). successor(28, 29). successor(29, 30). successor(30, 31). successor(31, 32). successor(32, 33). successor(33, 34). successor(34, 35). successor(35, 36). successor(36, 37). successor(37, 38). successor(38, 39). successor(39, 40). successor(40, 41). successor(41, 42). successor(42, 43). successor(43, 44). successor(44, 45). successor(45, 46). successor(46, 47). successor(47, 48). successor(48, 49). successor(49, 50). successor(50, 51). successor(51, 52). successor(52, 53). successor(53, 54). successor(54, 55). successor(55, 56). successor(56, 57). successor(57, 58). successor(58, 59). successor(59, 60). legal(player, move(X, Y), T) :- holds(cell(U, Y, b), T), succ(X, U), cell1Domain(U), cell2Domain(Y), timeDomain(T). legal(player, move(X, Y), T) :- holds(cell(U, Y, b), T), pred(X, U), cell1Domain(U), cell2Domain(Y), timeDomain(T). legal(player, move(X, Y), T) :- holds(cell(X, V, b), T), succ(Y, V), cell1Domain(X), cell2Domain(V), timeDomain(T). legal(player, move(X, Y), T) :- holds(cell(X, V, b), T), pred(Y, V), cell1Domain(X), cell2Domain(V), timeDomain(T). holds(cell(U, V, Z), T+1) :- holds(cell(U, V, Z), T), does(player, move(X, Y), T), holds(cell(X1, Y1, b), T), X != U, X1 != U, cell1Domain(U), cell2Domain(V), cell3Domain(Z), cell1Domain(X1), cell2Domain(Y1), timeDomain(T). holds(cell(U, V, Z), T+1) :- holds(cell(U, V, Z), T), does(player, move(X, Y), T), holds(cell(X1, Y1, b), T), X != U, Y1 != V, cell1Domain(U), cell2Domain(V), cell3Domain(Z), cell1Domain(X1), cell2Domain(Y1), timeDomain(T). holds(cell(U, V, Z), T+1) :- holds(cell(U, V, Z), T), does(player, move(X, Y), T), holds(cell(X1, Y1, b), T), Y != V, X1 != U, cell1Domain(U), cell2Domain(V), cell3Domain(Z), cell1Domain(X1), cell2Domain(Y1), timeDomain(T). holds(cell(U, V, Z), T+1) :- holds(cell(U, V, Z), T), does(player, move(X, Y), T), holds(cell(X1, Y1, b), T), Y != V, Y1 != V, cell1Domain(U), cell2Domain(V), cell3Domain(Z), cell1Domain(X1), cell2Domain(Y1), timeDomain(T). step1Domain(0). step1Domain(1). step1Domain(2). step1Domain(3). step1Domain(4). step1Domain(5). step1Domain(6). step1Domain(7). step1Domain(8). step1Domain(9). step1Domain(10). step1Domain(11). step1Domain(12). step1Domain(13). step1Domain(14). step1Domain(15). step1Domain(16). step1Domain(17). step1Domain(18). step1Domain(19). step1Domain(20). step1Domain(21). step1Domain(22). step1Domain(23). step1Domain(24). step1Domain(25). step1Domain(26). step1Domain(27). step1Domain(28). step1Domain(29). step1Domain(30). step1Domain(31). step1Domain(32). step1Domain(33). step1Domain(34). step1Domain(35). step1Domain(36). step1Domain(37). step1Domain(38). step1Domain(39). step1Domain(40). step1Domain(41). step1Domain(42). step1Domain(43). step1Domain(44). step1Domain(45). step1Domain(46). step1Domain(47). step1Domain(48). step1Domain(49). step1Domain(50). step1Domain(51). step1Domain(52). step1Domain(53). step1Domain(54). step1Domain(55). step1Domain(56). step1Domain(57). step1Domain(58). step1Domain(59). step1Domain(60). cell1Domain(1). cell1Domain(2). cell1Domain(3). cell2Domain(1). cell2Domain(2). cell2Domain(3). cell3Domain(8). cell3Domain(7). cell3Domain(6). cell3Domain(5). cell3Domain(4). cell3Domain(3). cell3Domain(2). cell3Domain(1). cell3Domain(b). move1Domain(1). move1Domain(2). move1Domain(3). move2Domain(1). move2Domain(2). move2Domain(3). moveDomain(move(X, Y)) :- move1Domain(X), move2Domain(Y). timeDomain(1..31). 1{does(R,M,T):moveDomain(M)}1:- role(R), timeDomain(T), not terminal(T). terminal(T+1):- terminal(T), timeDomain(T). :-does(R,M,T),not legal(R,M,T),role(R). :-0{terminal(T):timeDomain(T)}0. :-terminal(T), not terminal(T-1), role(R), not goal(R,100,T). :-terminal(1), role(R), not goal(R,100,1). :-not terminal(31). #HIDE. #SHOW does/3.