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.

email

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA