which says that a link exists between two towns either if there is a link object between them in the object base or if there is a route between the towns. The
route-exists
predicate would be defined by another backward chaining rule, or might be in the Prolog database.