Next: Predicate Declarations
Up: add: Adding Input
Previous: add: Adding Input
Contents
Use Declarations
Use declarations are of the form use(),
where is an atom denoting a theory to be included.
The meaning of that declaration is equivalent to
the execution of the command add().
Harald Ganzinger
2002-12-04
Imprint | Data Protection