Lines Matching refs:cdr
536 function sc_Pair(car, cdr) { argument
538 this.cdr = cdr;
551 if (sc_isPair(current.cdr)) {
553 current = current.cdr;
554 } else if (current.cdr !== null) {
555 res += " . " + writeOrDisplay(current.cdr);
582 return (comp(p1.car, p2.car) && comp(p1.cdr, p2.cdr));
588 function sc_cons(car, cdr) { argument
589 return new sc_Pair(car, cdr);
611 return p.cdr;
625 p.cdr = val;
635 function sc_cadr(p) { return p.cdr.car; }
639 function sc_cdar(p) { return p.car.cdr; }
643 function sc_cddr(p) { return p.cdr.cdr; }
651 function sc_cadar(p) { return p.car.cdr.car; }
655 function sc_caadr(p) { return p.cdr.car.car; }
659 function sc_caddr(p) { return p.cdr.cdr.car; }
663 function sc_cdaar(p) { return p.car.car.cdr; }
667 function sc_cdadr(p) { return p.cdr.car.cdr; }
671 function sc_cddar(p) { return p.car.cdr.cdr; }
675 function sc_cdddr(p) { return p.cdr.cdr.cdr; }
683 function sc_caadar(p) { return p.car.cdr.car.car; }
687 function sc_caaadr(p) { return p.cdr.car.car.car; }
691 function sc_caaddr(p) { return p.cdr.cdr.car.car; }
695 function sc_cdaaar(p) { return p.car.car.car.cdr; }
699 function sc_cdadar(p) { return p.car.cdr.car.cdr; }
703 function sc_cdaadr(p) { return p.cdr.car.car.cdr; }
707 function sc_cdaddr(p) { return p.cdr.cdr.car.cdr; }
711 function sc_cadaar(p) { return p.car.car.cdr.car; }
715 function sc_caddar(p) { return p.car.cdr.cdr.car; }
719 function sc_cadadr(p) { return p.cdr.car.cdr.car; }
723 function sc_cadddr(p) { return p.cdr.cdr.cdr.car; }
727 function sc_cddaar(p) { return p.car.car.cdr.cdr; }
731 function sc_cdddar(p) { return p.car.cdr.cdr.cdr; }
735 function sc_cddadr(p) { return p.cdr.car.cdr.cdr; }
739 function sc_cddddr(p) { return p.cdr.cdr.cdr.cdr; }
745 var cdr = l.cdr;
746 while (sc_isPair(cdr)) {
747 res = cdr;
748 cdr = res.cdr;
772 (rabbit instanceof sc_Pair && rabbit.cdr === null))
775 (rabbit.cdr instanceof sc_Pair)) {
776 rabbit = rabbit.cdr.cdr;
777 turtle = turtle.cdr;
815 l = l.cdr;
822 var dummy = { cdr : null }; property
826 tail.cdr = sc_cons(l.car, null);
827 tail = tail.cdr;
829 l = l.cdr;
831 return dummy.cdr;
836 var dummy = { cdr : null }; property
844 tail.cdr = l;
849 l = l.cdr;
851 tail.cdr = null;
852 return dummy.cdr;
857 var dummy = { cdr : null }; property
861 tail.cdr = sc_cons(l.car, null);
862 tail = tail.cdr;
864 l = l.cdr;
866 return dummy.cdr;
871 var dummy = { cdr : null }; property
879 tail.cdr = l;
884 l = l.cdr;
886 tail.cdr = null;
887 return dummy.cdr;
895 l1 = l1.cdr;
896 res.cdr = tmp;
922 while (tmp.cdr !== null) tmp=tmp.cdr;
923 tmp.cdr = l2;
940 l1 = l1.cdr;
954 res = res.cdr;
984 l = l.cdr;
993 l = l.cdr;
1002 l = l.cdr;
1026 al = al.cdr;
1035 al = al.cdr;
1044 al = al.cdr;
1336 l = l.cdr;
1427 l = l.cdr;
1495 l = l.cdr;
1511 arguments[i + 1] = arguments[i + 1].cdr;
1530 arguments[i + 1] = arguments[i + 1].cdr;
1547 arguments[i + 1] = arguments[i + 1].cdr;
1557 var dummy = { cdr : null }; property
1561 tail.cdr = sc_cons(l1.car, null);
1562 tail = tail.cdr;
1564 l1 = l1.cdr;
1566 return dummy.cdr;
1576 it.cdr = next
1579 next = next.cdr;
1581 it.cdr = null;
1582 return head.cdr;
1590 l1 = l1.cdr;
1599 l1 = l1.cdr;
1600 l2 = l2.cdr
1618 arguments[i + 1] = arguments[i + 1].cdr;
1632 l = l.cdr;
1651 l = l.cdr;
2896 sc_prepWriteCircle(o.cdr, symb, nbPointer);
2946 if (sc_isPair(this.cdr)) {
2947 res += " " + this.cdr.sc_toWriteCircleString(symb, true);
2948 } else if (this.cdr !== null) {
2949 res += " . " + sc_genToWriteCircleString(this.cdr, symb);
3513 …car))), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((translate_term_nboyer((lst.car))),…
3518 …cdr))))))), ((sc_lst_5 = (lst.cdr)), ((sc_lst_5 === null)?null:(new sc_Pair((translate_term_nboyer…
3531 (L1127 = (term.cdr));
3535 … (tail1131.cdr = (new sc_Pair((untranslate_term_nboyer((L1127.car))), null)));
3536 (tail1131 = (tail1131.cdr));
3537 (L1127 = (L1127.cdr));
3540 (optrOpnd = (falseHead1130.cdr));
3547 …ym, BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer))), ((x!== false)?(x.cdr):((r = [sym, null])…
3553 …cdr)), (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboy…
3558 …cdr):term)):(new sc_Pair((term.car), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((apply…
3562 …7 = (lst.cdr)), ((sc_lst_7 === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (sc_lst_7.car)))…
3585 …if ((((sc_x_8 = (sc_x_11.cdr.car)), (tmp1126 = (is_term_equal_nboyer(sc_x_8, true_term_nboyer))), …
3586 (sc_x_11 = (sc_x_11.cdr.cdr.car));
3588 …if ((((x = (sc_x_11.cdr.car)), (tmp1125 = (is_term_equal_nboyer(x, false_term_nboyer))), ((tmp1125…
3589 (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3591 …if (((tautologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_l…
3593 … (false_lst = (new sc_Pair((sc_x_11.cdr.car), false_lst)));
3594 (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3616 …sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_13.car)))…
3622 …if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_1…
3623 … return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3625 (lst = (lst.cdr));
3632 …(sc_lst_14 = (lst.cdr)), ((sc_lst_14 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_14.car)))…
3643 return (is_term_equal_nboyer(term1, (temp_temp.cdr)));
3659 (lst1 = (term1.cdr));
3660 (lst2 = (term2.cdr));
3670 (lst1 = (lst1.cdr));
3671 (lst2 = (lst2.cdr));
3695 (lst1 = (x.cdr));
3696 (lst2 = (y.cdr));
3706 (lst1 = (lst1.cdr));
3707 (lst2 = (lst2.cdr));
3730 (lst = (lst.cdr));
3746 …2ze3symbolzd2record_1ze3_nboyer((sc_term_19.car))), (translate_args_nboyer((sc_term_19.cdr))))))));
3747 …2ze3symbolzd2record_1ze3_nboyer((sc_term_18.car))), (translate_args_nboyer((sc_term_18.cdr))))))));
3752 …if (((term instanceof sc_Pair)&&(((term.car)==="\u1E9Cequal")&&((term.cdr.car) instanceof sc_Pair)…
3754 (sc_sym_17 = ((term.cdr.car).car));
3755 …record_1ze3_nboyer((term.car))), (translate_args_nboyer((term.cdr)))))), ((sym = ((term.cdr.car).c…
3761 (lst = (lst.cdr));
3788 …zd2ze3symbolzd2record_1ze3_nboyer((sc_term_22.car))), (translate_args_nboyer((sc_term_22.cdr))))));
3789 …car.car), (translate_term_nboyer((const_nboyer.car.cdr))))), (translate_alist_nboyer((const_nboyer…
3868 (l = (l.cdr));
3872 return (rule_loop((rules.cdr), sc_nts_13));
3875 return (BgL_sc_defzd2loop_9zd2((defs.cdr), sc_nts_12));
3876 …}), (rule_loop((def.cdr), (((sc_member(head, sc_nts_11))!== false)?sc_nts_11:(new sc_Pair(head, sc…
3893 (l = (l.cdr));
3897 return (rule_loop((rules.cdr), (BgL_sc_nbzd2confs_16zd2+(1))));
3900 return (BgL_sc_defzd2loop_6zd2((defs.cdr), BgL_sc_nbzd2confs_15zd2));
3901 }), (rule_loop((def.cdr), BgL_sc_nbzd2confs_14zd2))):BgL_sc_nbzd2confs_14zd2);
3950 (l = (l.cdr));
3957 return (rule_loop((rules.cdr), (sc_conf_18+(1)), (rule_num+(1))));
3960 return (def_loop((defs.cdr), conf));
3961 }), (rule_loop((def.cdr), conf, (1)))):undefined);
4083 (l1 = (l1.cdr));
4086 (l1 = (l1.cdr));
4159 (sc_l_74 = (sc_l_74.cdr));
4162 (sc_l_74 = (sc_l_74.cdr));
4174 (l = (l.cdr));
4177 (l = (l.cdr));
4211 return (sc_loop1_75((l.cdr)));
4244 (l = (l.cdr));
4298 … (l4 = (l4.cdr));
4301 … return (loop3((l3.cdr), sc_l2_100));
4311 return (sc_loop1_98((l1.cdr), l2));
4317 (l1 = (l1.cdr));
4344 (l = (l.cdr));
4348 (l = (l.cdr));
4393 return (sc_loop1_116((l.cdr), n));
4396 (l = (l.cdr));
4423 (l = (l.cdr));
4427 (l = (l.cdr));
4449 (l1 = (tok.cdr));
4456 (l1 = (l1.cdr));
4460 (l1 = (l1.cdr));
4465 (tail1129.cdr = sc_optrOpnd_21);
4466 (tail1129 = (tail1129.cdr));
4467 (L1125 = (L1125.cdr));
4470 (sc_optrOpnd_20 = (falseHead1128.cdr));
4481 (tok_nts = ((sc_toks_36[sc_i_28]).cdr));
4497 (l = (l.cdr));
4562 … return (sc_loop1_127((l.cdr)));
4565 (l = (l.cdr));
4632 … (tail1134.cdr = (new sc_Pair(((sc_x_134 = (L1130.car)), (sc_list(sc_x_134, sc_x_134))), null)));
4633 (tail1134 = (tail1134.cdr));
4634 (L1130 = (L1130.cdr));
4637 return (falseHead1133.cdr);