Rule macro predicate

Home / Glossary / Rule macro predicate

A rule macro predicate (RMP) is a predicate that is used to state a rule in a compact way that can be read more easily and supported with removal modules for more efficient reasoning. #$genls and #$relationAllExists are examples of commonly used rule macro predicates.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA