Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- % there are no closer pieces along an edge
- :- edge(P1,P2,north),
- Y < Y1,
- Y2 < Y,
- P1 != P,
- P1 != P2,
- P != P2,
- at_y(P1,Y1),
- at_y(P,Y),
- at_y(P2,Y2),
- at_x(P1,X),
- at_x(P,X),
- at_x(P2,X).
- :- edge(P1,P2,south),
- Y > Y1,
- Y2 > Y,
- P1 != P,
- P1 != P2,
- P != P2,
- at_y(P1,Y1),
- at_y(P,Y),
- at_y(P2,Y2),
- at_x(P1,X),
- at_x(P,X),
- at_x(P2,X).
- :- edge(P1,P2,west),
- X < X1,
- X2 < X,
- P1 != P,
- P1 != P2,
- P != P2,
- at_x(P1,X1),
- at_x(P,X),
- at_x(P2,X2),
- at_y(P1,Y),
- at_y(P,Y),
- at_y(P2,Y).
- :- edge(P1,P2,east),
- X > X1,
- X2 > X,
- P1 != P,
- P1 != P2,
- P != P2,
- at_x(P1,X1),
- at_x(P,X),
- at_x(P2,X2),
- at_y(P1,Y),
- at_y(P,Y),
- at_y(P2,Y).
Add Comment
Please, Sign In to add comment