(Previous notes are at http://gist.github.com/106231 and http://gist.github.com/106582. Current version is at http://canonical.org/~kragen/binary-relations.html.)
Here’s my problem, expressed in Prolog. I have two basic relations to start with:
visits(Page, Column, Row, Route)
, which says that routeRoute
visits the map square on pagePage
(one of 1..36), in columnColumn
(one of 'ABCD'), in rowRow
(one of 1..6).square(Page, Column, Row, X, Y)
, which gives the X and Y positions of the given square in a global coordinate system. Physically