Using a Circular Definition

: North-of(?x, ?y)?

NORTH-OF(SEATTLE,PORTLAND)

NORTH-OF (SAN_FRANCISCO,LOS_ANGELES)

NORTH-OF(LOS_ANGELES,SAN_DIEGO)

NORTH-OF(PORTLAND,SAN_FRANCISCO)

Previous slide

Next slide

Back to first slide

View graphic version