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

Lines Matching refs:term2

3599         var term2;
3616                             if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_12, term2)))!== false))
3629     one_way_unify1_nboyer = function(term1, term2) {
3633         if (!(term2 instanceof sc_Pair))
3635                 (temp_temp = (sc_assq(term2, unify_subst_nboyer)));
3639                     if ((sc_isNumber(term2)))
3640                         return (sc_isEqual(term1, term2));
3643                             (unify_subst_nboyer = (new sc_Pair((new sc_Pair(term2, term1)), unify_subst_nboyer)));
3651                 if (((term1.car)===(term2.car)))
3654                         (lst2 = (term2.cdr));