About us
Define
Definitions for
"Ctor"
A constructor, i.e. a logical function, of a complex term (Cterm). It is optionally surrounded by an operator (op). Attributes: @uri(See: cterm module)
ruleml.org