Next:
Input language
Up:
Syntax
Previous:
Syntax
Special purpose predicates
Subsections
Input language
Logical Symbols
Predicates for handling preferences
Internal predicates
Torsten Schaub 2000-12-05