Relation RESTRICTED-CONSTRAINT-TERM

• Defined in theory: Parametric-constraints
• Source code: parametric-constraints.lisp

Slots on this relation:

Documentation:

This relation limits terms to atomic terms (variables or constants) or to terms constructed via sanctioned term operators. No quantification is allowed.

Arity: 3

Axioms:

(Nth-Domain Restricted-Constraint-Term 1 Term)

(<=> (Restricted-Constraint-Term ?Term
                                 ?Class-Of-Term-Operators
                                 ?Class-Of-Object-Constants)
     (And (Term ?Term)
          (Subclass-Of ?Class-Of-Term-Operators Function-Constant)
          (Subclass-Of ?Class-Of-Object-Constants Atomic-Term)
          (Or (Instance-Of ?Term ?Class-Of-Object-Constants)
              (Exists 
                  (?Oper @Args)
                  (And (= ?Term (Listof ?Oper @Args))
                       (Instance-Of ?Oper ?Class-Of-Term-Operators)
                       (=> (Item ?Arg (Listof @Args))
                           (Restricted-Constraint-Term 
                               ?Arg
                               ?Class-Of-Term-Operators
                               ?Class-Of-Object-Constants)))))))