NO-GOAL : TACTICAL

NO-GOAL is a tactical.
(NO-GOAL) succeeds iff the goal with which it is invoked is nil.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage