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

Name	nlp encoding
Class Tree	[Root]    Puzzles (51)    NumberSquares (4)    FindingNumbers (2)
Submitter	Martin Gebser
Author
Description	nlp encoding for finding Numbers in Squares
Created	2009-03-30 13:03
Modified	2008-11-29 00:10
Languages	Logic Program
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	% number_square_normal.lp -- a normal logic program for finding % numbers from a number square. %% First define the four possible directions of the numbers. The %% second and the third argument give the direction vector and they %% are used to make the following encoding more readable. dir(n, 0, 1). dir(e, 1, 0). dir(s, 0, -1). dir(w, -1, 0). %% Define a new atom for every different number in the input. num(N) :- number(N, Pos, B). %% We need also extract the squares from the grid definition: square(X, Y) :- grid(X, Y, S). %% Since we know the length of all input numbers, we don't want to %% search them from places where they do not fit in. A number doesn't %% fit in a position if it extends out of the square. impossible_place(N, X, Y, Dir) :- number(N, Pos, B_1), square(X, Y), dir(Dir, X_d, Y_d), not square(X + Pos * X_d, Y + Pos * Y_d). %% A square is a possible place for the number if it is not %% impossible. possible_place(N, X, Y, Dir) :- not impossible_place(N, X, Y, Dir), num(N), square(X, Y), dir(Dir, X_d, Y_d). %% Next, a number is at a place if it fits in there and there are no %% reasons why it cannot be there. at(N, X, Y, Dir) :- not not_ok_num(N, X, Y, Dir), possible_place(N, X, Y, Dir). %% A number cannot start at a grid position if some of its digits %% mismatches with the square contents. not_ok_num(N, X, Y, Dir) :- number(N, Pos, B), not ok_num(N, Pos, X, Y, Dir), possible_place(N, X, Y, Dir). %% A the "Pos"th digit of the number is correct if it occurs in the %% grid at the correct position. ok_num(N, Pos, X, Y, Dir) :- number(N, Pos, B_1), possible_place(N, X, Y, Dir), grid(X + Pos * X_d, Y + Pos * Y_d, B_1), dir(Dir, X_d, Y_d).