Function VARIABLES-IN-COND-CLAUSE

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

Slots on this function:

Documentation:

COND clauses are of the form (sentence term).

Instance-Of: Function

Arity: 2

Other Related Axioms:

(<- (Variables-In-Term ?Exp)
    (Cond ((Indvar ?Exp) (Setof ?Exp))
          ((Funterm ?Exp)
           (Apply Union (Map Variables-In-Term (Rest ?Exp))))
          ((And (Logterm ?Exp) (= (First ?Exp) (Quote If)))
           (Union (Variables-In-Sentence (Second-Item ?Exp))
                  (Apply Union
                         (Map Variables-In-Term (Rest (Rest ?Exp))))))
          ((And (Logterm ?Exp) (= (First ?Exp) (Quote Cond)))
           (Apply Union (Map Variables-In-Cond-Clause (Rest ?Exp))))
          ((Quanterm ?Exp) Bottom)
          ((Term ?Exp) (Setof))))

(<- (Variables-In-Cond-Clause ?Cond-Clause)
    (If (And (List ?Cond-Clause)
             (Sentence (First ?Cond-Clause))
             (Term (Second-Item ?Cond-Clause)))
        (Union (Variables-In-Sentence (First ?Cond-Clause))
               (Variables-In-Term (Second-Item ?Cond-Clause)))))