C | |
| clause [Clause] |
Clauses
|
H | |
| htype [Clause] |
extension of
eva_type with
types for functional symbols
|
L | |
| literal [Clause] |
Literals with different predicates, see
Abstract.eva_atom
|
S | |
| state [Clause] |
A state is a predicate in the set (role, msg label)
applied to a list of terms.
|
T | |
| tclause [Clause] |