Encoding hitori2.lparse

Name	hitori2.lparse
Class Tree	[Root] Unclassified (114) Hitori (2)
Submitter	Martin Gebser
Author
Description	An encoding of the hitori puzzle that produces small groundings. It only works correctly if the input contains the facts xpos(1), ypos(1) and ypos(2).
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	{ black(X,Y) } :- xpos(X), ypos(Y). nextTo(X1,Y1,X2,Y2) :- xpos(X1), xpos(X2), ypos(Y1), ypos(Y2), abs(X1 - X2) + abs(Y1 - Y2) == 1. :- nextTo(X1,Y1,X2,Y2), black(X1,Y1), black(X2,Y2). :- state(X1,Y,N), state(X2,Y,N), not black(X1,Y), not black(X2,Y), X1 != X2. :- state(X,Y1,N), state(X,Y2,N), not black(X,Y1), not black(X,Y2), Y1 != Y2. reachable(1,1) :- not black(1,1). reachable(1,2) :- black(1,1). reachable(X,Y) :- nextTo(X,Y,RX,RY), not black(X,Y), reachable(RX,RY). :- not black(X,Y), not reachable(X,Y), xpos(X), ypos(Y).

Actions