Next:
Using Additional Information
Up:
Extensions of the
Previous:
The Final Result:
Future Extensions
Using Additional Information
Assert
Compiling Higher Order PROLOG Extensions