Circular Definitions

: all(x,y)(thresh(1,1) {North-of(x,y), South-of(y,x)}).

: North-of(Seattle, Portland).

: South-of(San_Francisco, Portland).

: North-of(San_Francisco, Los_Angeles).

: South-of(San_Diego, Los_Angeles).

Previous slide

Next slide

Back to first slide

View graphic version