|
ENTITY Rule_condition SUBTYPE OF (Atomic_formula); positive : BOOLEAN; END_ENTITY; -- Rule_condition |
Entity data types and their attributesAtomic_formulapredicate_symbol: predicate_symbol; terms: LIST [0:?] OF term_select; Rule_condition positive: BOOLEAN; |
UsersAtomic_formulaRule_condition Back_chaining_rule.body Back_chaining_rule.head Simple_clause.formulas |
Global rules for this entity data type- |