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 knights tour.lparse

Name	knights tour.lparse
Class Tree	[Root]    Unclassified (114)    KnightsTour (3)      3D ASP Competition (1)
Submitter	Martin Gebser
Author	Martin Brain
Description	Copyright Martin Brain 16/10/06, see COPYING for licence 07/10/06 Knight\'s tour
Created	2009-03-30 13:03
Modified	2009-03-13 17:53
Languages	lparse
Language Features	Cardinality constraints Choice rules
Compatible Instance Classes	KnightsTour
Input Predicates	time/1 xpos/1 ypos/1
Output Predicates	choosenMove/3
Encoding Parameter
Standalone	No
Tags
Attributes
Content	% knights.lp % % Copyright Martin Brain 16/10/06, see COPYING for licence % mjb@cs.bath.ac.uk % 07/10/06 % % Knight's tour #domain xpos(X). #domain xpos(X1). #domain xpos(X2). #domain ypos(Y). #domain ypos(Y1). #domain ypos(Y2). #domain time(T). #domain time(T1). #domain time(T2). % Valid moves validMove(T,X + 2,Y + 1) :- position(T,X,Y), xpos(X + 2), ypos(Y + 1). validMove(T,X + 2,Y - 1) :- position(T,X,Y), xpos(X + 2), ypos(Y - 1). validMove(T,X + 1,Y + 2) :- position(T,X,Y), xpos(X + 1), ypos(Y + 2). validMove(T,X + 1,Y - 2) :- position(T,X,Y), xpos(X + 1), ypos(Y - 2). validMove(T,X - 1,Y + 2) :- position(T,X,Y), xpos(X - 1), ypos(Y + 2). validMove(T,X - 1,Y - 2) :- position(T,X,Y), xpos(X - 1), ypos(Y - 2). validMove(T,X - 2,Y + 1) :- position(T,X,Y), xpos(X - 2), ypos(Y + 1). validMove(T,X - 2,Y - 1) :- position(T,X,Y), xpos(X - 2), ypos(Y - 1). % At every time step choose a move 1 { choosenMove(T,XN,YN) : xpos(XN) : ypos(YN) } 1 :- time(T). :- choosenMove(T,X,Y), not validMove(T,X,Y). % Then make it position(T+1,X,Y) :- choosenMove(T,X,Y). % Can't return to any place :- position(T1,X,Y), position(T2,X,Y), T1 < T2. :- position(T,X,Y), position(MT+1,X,Y), maxtime(MT). % Got to start somewhere position(1,1,1).