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 lparse encoding

Name	lparse encoding
Class Tree	[Root]    Puzzles (51)    TowersOfHanoi (2)      3D ASP Competition (1)
Submitter	Martin Gebser
Author
Description	Representation: We use predicate block to define pegs and disks. The intention is to use 1, 2 and 3 to refer to pegs p1, p2 and p3, respectively. The remaining integers, 4, 5, ..., k denote p=k-3 disks. Moreover, we assume that higher the disk number, the smaller its diameter. The initial configuration of disks on pegs is given in terms of atomsof the form on0(a,b). Each such atom says that at time 0 block b is non block a.
Created	2009-03-30 13:03
Modified	2008-11-29 00:10
Languages	lparse
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	% time(0..t) and disk(1..k) are two definitions in the data set defining % appropriate data types. % % The meaning of the time predicate is self-evident. As for the disk % predicate, there are k disks 1,2,...,k. Disks 1, 2, 3 denote pegs. % Disks 4, 5, ... are "movable". The larger the number of the disk, % the "smaller" it is. % % The program uses additional predicates: % on(T,N,M), which is true iff at time T, disk M is on disk N % move(t,N), which is true iff at time T, it is disk N that will be % moved % where(T,N), which is true iff at time T, the disk to be moved is moved % on top of the disk N. % goal, which is true iff the goal state is reached at time t % Read in data on(0,N,N1) :- disk(N;N1), on0(N,N1). % Specify valid arrangements of disks % Basic condition. Smaller disks are on larger ones :- time(T), disk(N1;N), on(T,N1,N), N1>=N. % Specify a valid move (only for T<t) % pick a disk to move 1{move(T,N):disk(N)}1 :- time(T), T<t. % pick a disk onto which to move 1{where(T,N):disk(N)}1 :- time(T), T<t. % pegs cannot be moved :- time(T), disk(N), T<t, move(T,N), N<=3. % only top disk can be moved :- time(T), disk(N;N1), T<t, on(T,N,N1), move(T,N). % a disk can be placed on top only. :- time(T), disk(N;N1), T<t, on(T,N,N1), where(T,N). % no disk is moved in two consecutive moves :- time(T;T-1), disk(N), T>0, T<t, move(T,N), move(T-1,N). % Specify effects of a move on(T+1,N,N1) :- time(T;T+1), disk(N;N1), T<t, on(T,N,N1), not move(T,N1). % T<t, move(T,N), where(T,N1) -> on(T+1,N1,N). on(T+1,N1,N) :- time(T), disk(N;N1), T<t, move(T,N), where(T,N1). % Goal description goal :- on(t,8,9), on(t,7,8), on(t,6,7), on(t,5,6), on(t,4,5), on(t,3,4). :- not goal.