Next:
Acknowledgments
Up:
No Title
Previous:
List of Figures
List of Tables
Being a solver
Intervals and their representation in
Prolog IV
Correspondence between keywords for the linear and non-linear solvers
Syntaxes for lists
Some arithmetic-related terms
Some arithmetic-related builtins
Predicates checking types of terms
DEC-10 I/O predicates
Some meta-logical Prolog predicates
Predicates which implement standard order
MCL
1998-12-03
