Previous Up Next

Chapter 12  ECLiPSe Macros






1
type(goal) stands for suspensions.
2
Note that clause transformation is not performed with assert/1, retract/1 and clause/1. This is a change from previous versions of ECLiPSe.
3
So that the user can redefine it with a local one.

Previous Up Next