Encoding 15-puzzle.psp

Name	15-puzzle.psp
Class Tree	[Root] Puzzles (51) 15-Puzzle (7)
Submitter	Martin Gebser
Author
Description	Encoding of the 15-puzzle problem for the aspps system.
Created	2009-03-30 13:03
Modified	2008-11-29 00:10
Languages	psgrnd
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	pred in(time,pos,pos,entry). pred move(time,pos,pos). var time T. var pos X,Y,X1,Y1. var entry A. 1{in(T,X,Y,_)}1. 1{in(T,_,_,A)}1. in0(X,Y,A) -> in(0,X,Y,A). T<t -> 1{move(T,_,_)}1. in(T,X,Y,0), move(T,X1,Y1) -> abs(X-X1) +abs(Y-Y1) ==1. in(T,X,Y,0), in(T+2,X,Y,0) ->. T<t, in(T,X,Y,A) -> in(T+1,X,Y,A) \| A==0 \| move(T,X,Y). T<t, move(T,X,Y) -> in(T+1,X,Y,0). T<t, in(T+1,X,Y,0) -> move(T,X,Y). in(t,1,1,0). in(t,1,2,1). in(t,1,3,2). in(t,1,4,3). in(t,2,1,4). in(t,2,2,5). in(t,2,3,6). in(t,2,4,7). in(t,3,1,8). in(t,3,2,9). in(t,3,3,10). in(t,3,4,11). in(t,4,1,12). in(t,4,2,13). in(t,4,3,14). in(t,4,4,15).

Actions