daniel-cussen

(defun plus1. (lst)
  (cond ((null. lst) (cons '1 '()))
	((eq (car lst) '1)
	 (cons '0 (plus1. (cdr lst))))
	('t (cons '1 (cdr lst)))))

(defun minus1. (lst)
  (cond ((null. lst) '())
	((and. (null. (cdr lst)) (eq (car lst) '1)) '())
	((eq (car lst) '0)

daniel-cussen

(defun null. (x)
  (eq x '()))

(defun and. (x y)
  (cond (x 
	 (cond (y 't)
	       ('t '())))
        ('t '())))

(defun or. (x y)

daniel-cussen

(defun fullness. (tree size)
  (cond ((null. size)
	 '(1))
	((null. (cdr tree))
	     (fullness. (car tree) (minus1. size)))
	('t (+. (ash+. '(1) (minus1. size))  (fullness. (cdr tree) (minus1. size))))))

(defun length. (glf size)
  (cond ((null. glf) '())
	((or. (null. (cdr glf))

daniel-cussen

(defun assoc. (atom a x)
  (cond ((eq atom (car (g-nth. x a '())))
	 (cdr (g-nth. x a '())))
	('t (assoc. atom a (minus1. x)))))

(defun append. (glf1 glf2 x)
  (cond ((eqnum. x (length. glf2 '()))
	 glf1)
	('t (append. (g-add. (g-nth. x glf2 '()) glf1 '() (length. glf1 '())) glf2 (plus1. x)))))

daniel-cussen

(defun eval. (e a)
  (cond
    ((atom e) (assoc. e a (minus1. (length. a '()))))
    ((atom (car e))
     (cond
       ((eq (car e) 'quote) (caadr e))
       ((eq (car e) 'atom)  (atom   (eval. (caadr e) a)))
       ((eq (car e) 'eq)    (eq     (eval. (caadr e) a)  
                                    (eval. (cdadr e) a)))
       ((eq (car e) 'car)   (car    (eval. (caadr e) a)))

daniel-cussen

(defun trellis (&rest args)
  (if (and (oddp (length args)) (null (car (last args))))
      (sentinel-change. (trellis-1 0 args))
      (trellis-1 0 args)))

(defun trellis-1 (size lst)
  (cond ((null lst) nil)
	((= size 0) (cons (car lst) (trellis-1 1 (cdr lst))))
	(t (let ((siz (expt 2 size)))
	     (if (> siz (length lst))

daniel-cussen

(cond ((eq 'a 'a) 't)
      ('t '()))

daniel-cussen

(cond (eq 'a 'a) 't
      't '())

daniel-cussen

((label conser (lambda (x) (cons x x))) '1)

daniel-cussen

> (cdr '(1 2 3))
((2 . 3) . NIL)