I have written the code of a more intelligent trader. One of the
predicates in it is gateway(Region,Square).
This is true if Square is
a gateway to Region; that is, if Square is inside Region, but also
connects to a square that is outside it. What is wrong with the
definition below?
