Overview Schemas Index

Production_rule_arm         

ENTITY Atomic_formula
          ABSTRACT SUPERTYPE OF (ONEOF (Rule_condition, Ground_fact));
          predicate_symbol : predicate_symbol;
          terms : LIST [0:?] OF term_select;
END_ENTITY; -- Atomic_formula

Entity data types and their attributes

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

Known subtypes

          Ground_fact (Production_rule_arm)
          Rule_condition (Production_rule_arm)

Users: by entity attributes

Atomic_formula

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

Atomic_formula
          -

Global rules for this entity data type

          -