Home | History | Annotate | Download | only in benchmarks

Lines Matching full:term1

3635     one_way_unify1_nboyer = function(term1, term2) {
3643                     return (is_term_equal_nboyer(term1, (temp_temp.cdr)));
3646                         return (sc_isEqual(term1, term2));
3649                             (unify_subst_nboyer = (new sc_Pair((new sc_Pair(term2, term1)), unify_subst_nboyer)));
3654             if (!(term1 instanceof sc_Pair))
3657                 if (((term1.car)===(term2.car)))
3659                         (lst1 = (term1.cdr));