Home | History | Annotate | Download | only in v8-v4

Lines Matching refs:term1

3629     one_way_unify1_nboyer = function(term1, term2) {
3637                     return (is_term_equal_nboyer(term1, (temp_temp.cdr)));
3640                         return (sc_isEqual(term1, term2));
3643                             (unify_subst_nboyer = (new sc_Pair((new sc_Pair(term2, term1)), unify_subst_nboyer)));
3648             if (!(term1 instanceof sc_Pair))
3651                 if (((term1.car)===(term2.car)))
3653                         (lst1 = (term1.cdr));