Searched refs:one_way_unify1_nboyer (Results 1 – 1 of 1) sorted by relevance
3455 var one_way_unify1_nboyer; variable3622 …f ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_12…3635 one_way_unify1_nboyer = function(term1, term2) { function3668 if (((one_way_unify1_nboyer((lst1.car), (lst2.car)))!== false))