The following are examples of Internal Uniqueness Constraint creation statements written in FEKL:

See also: Fact Type Creation - FEKL

Multi-Role Internal Uniqueness Constraints