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 hitori.lparse

Name	hitori.lparse
Class Tree	[Root]    Unclassified (114)    Hitori (2)
Submitter	Martin Gebser
Author
Description	Copyright Martin Brain 16/10/06, see COPYING for licence 07/10/06 An encoding to Hitori Rules taken from http://www.spiralmile.com/hitorirules/doc/rulesofhitori.htm
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	% hitori.lp % % Copyright Martin Brain 18/10/06, see COPYING for licence % mjb@cs.bath.ac.uk % 07/10/06 % % An encoding to Hitori % Rules taken from % http://www.spiralmile.com/hitorirules/doc/rulesofhitori.htm #option --true-negation. #domain xpos(X). #domain xpos(X1). #domain xpos(X2). #domain ypos(Y). #domain ypos(Y1). #domain ypos(Y2). #domain number(N). % Every square is blacked out or normal 1 { blackOut(X,Y) , -blackOut(X,Y) } 1. % Can't have the same number, not blanked out, in the same row :- -blackOut(X1,Y), -blackOut(X2,Y), state(X1,Y,N), state(X2,Y,N), X1 != X2. % Can't have the same number, not blanked out, in the same column :- -blackOut(X,Y1), -blackOut(X,Y2), state(X,Y1,N), state(X,Y2,N), Y1 != Y2. % Can't have adjacent black squares adjacent(X,Y,X + 1,Y) :- xpos(X+1). adjacent(X + 1,Y,X,Y) :- xpos(X+1). adjacent(X,Y,X,Y + 1) :- ypos(Y+1). adjacent(X,Y + 1,X,Y) :- ypos(Y+1). :- blackOut(X1,Y1), blackOut(X2,Y2), adjacent(X1,Y1,X2,Y2). % Every non blackedOut square must be reachable horizontally or vertically % Encode reachability reachable(X1,Y1,X2,Y2) :- -blackOut(X1,Y1), -blackOut(X2,Y2), adjacent(X1,Y1,X2,Y2). % reachable(X1,Y1,X2,Y2) :- reachable(X2,Y2,X1,Y1). % Not needed as adjacent is reflexive reachable(X1,Y1,X2,Y2) :- reachable(X1,Y1,X,Y), reachable(X,Y,X2,Y2). :- -blackOut(X1,Y), -blackOut(X2,Y), X1 != X2, not reachable(X1,Y,X2,Y). :- -blackOut(X,Y1), -blackOut(X,Y2), Y1 != Y2, not reachable(X,Y1,X,Y2). :- -blackOut(X1,Y1), -blackOut(X2,Y2), X1 != X2, Y1 != Y2, not reachable(X1,Y1,X2,Y2). % Add state definitions and height and width from separate file %#hide. %#show blackOut(X,Y). %#show state(X,Y,N). %#show rightDiagonalStart(X,Y). %#show rightDiagonalEnd(X,Y). %#show rightBlackDiagonal(X,Y).