object

metro

The London metro. Adapted from the "Simply Logical" book by Peter Flach.

author:
Sergio Castro
compilation flags:
static, context_switching_calls

(no dependencies on other files)

Public interface

connected/3

Station1 is connected to Station2 by means of Line.

compilation flags:
dynamic
template:
connected(Station1,Station2,Line)

nearby/2

Station1 is nearby Station2.

compilation flags:
static
template:
nearby(Station1,Station2)

reachable/3

Station2 is reachable from Station1 by means of traversing IntermediateStations.

compilation flags:
static
template:
reachable(Station1,Station2,IntermediateStations)

line/1

Name is the name of a Line.

compilation flags:
static
template:
line(Name)

remove_all/0

Removes all the lines.

compilation flags:
static

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)