Lines Matching refs:ala
528 (defun testa (ala exp b)
529 (cond ((eq (car ala) 'mvar*)
530 (testa* ala exp t))
531 ((eq (car ala) 'var*)
532 (do ((z (cadr ala) (cdr z))
533 (ala (cddr ala))
537 ((testa* ala exp nil))))
539 (set (setf (symbol-value (car ala)) exp))
543 (cond ((setq y (cdr (assoc (car ala) ans :test #'equal)))
547 (setq ala (cadr z)))
550 ((testa* ala exp nil))))
554 (defun testa* (ala exp loc)
556 (cond ((cond ((eq (cadr ala) 'freevar)
559 ((eq (cadr ala) 'numberp) (mnump exp))
560 ((eq (cadr ala) 'true) t)
561 ((eq (cadr ala) 'linear*)
562 (setq exp (linear* exp (caddr ala))))
564 (cond ((atom (cadr ala))
565 (cond ((fboundp (cadr ala))
566 (apply (cadr ala)
567 (findthem exp (cddr ala))))
568 ((mget (cadr ala) 'mexpr)
569 (mapply (cadr ala)
570 (findthem exp (cddr ala))
571 (cadr ala)))))
572 ((member (caadr ala) '(lambda function *function quote) :test #'eq)
574 (apply (cadr ala) (findthem exp (cddr ala))))
575 ((eval-pred (cadr ala) (car ala) exp)))))
576 (cond ((member (car ala) *splist* :test #'eq))
577 ((add-to (car ala) exp))))
578 ((cond ((and loc (atom (cadr ala))
579 (fboundp (cadr ala)))
582 (car ala)
583 (apply (cadr ala) (findthem exp (cddr ala)))))))))