This is the section on representation and how it affects efficiency which I promised earlier. Please consider the following map of the High Street:
Carfax -> Turl -> All Souls -> Univ -> SchoolsThere are several ways in which this could be described by Prolog. I have listed four below: