Overview Schemas Index

Production_rule_arm         

ENTITY Ground_fact
          SUBTYPE OF (Atomic_formula);
WHERE
          WR1: SIZEOF(QUERY(r <* SELF\Atomic_formula.terms | contains_variable(r))) = 0;
END_ENTITY; -- Ground_fact

Entity data types and their attributes

Atomic_formula
          predicate_symbol: predicate_symbol;
          terms: LIST [0:?] OF term_select;
Ground_fact
          -

Users: by entity attributes

Atomic_formula
Ground_fact

Users: by defined types, not used by any entity attribute

Ground_fact
          -

Global rules for this entity data type

          -