Expand description
Symbolic Values.
Structs§
- Arg
- An argument to a term definition.
- Term
- A term is a function, which may have arguments. If a term has no arguments, it is equivalent to a constant.
- Term
Definition - Term definition. A term definition is a predicate, which may have arguments. If a term definition has no arguments, it is equivalent to a constant.