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).

Arity: 2

Axioms:

(=> (Variables-In-Cond-Clause ?Cond-Clause ?Vset)
    (And (List ?Cond-Clause)
         (Sentence (First ?Cond-Clause))
         (Term (Second-Item ?Cond-Clause))
         (= ?Vset
            (Union (Variables-In-Sentence (First ?Cond-Clause))
                   (Variables-In-Term (Second-Item ?Cond-Clause))))))