92 lines
2.2 KiB
Common Lisp
92 lines
2.2 KiB
Common Lisp
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
;; Beowulf Sysout file generated at 2023-03-31T02:24:08.808
|
|
;; generated by simon
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
((NIL)
|
|
(T . T)
|
|
(F)
|
|
(ADD1)
|
|
(AND)
|
|
(APPEND LAMBDA
|
|
(X Y) (COND ((NULL X) Y) ((QUOTE T) (CONS (CAR X) (APPEND (CDR X) Y)))))
|
|
(APPLY)
|
|
(ATOM)
|
|
(CAR)
|
|
(CDR)
|
|
(CONS)
|
|
(COPY
|
|
LAMBDA
|
|
(X)
|
|
(COND
|
|
((NULL X) (QUOTE NIL))
|
|
((ATOM X) X) ((QUOTE T) (CONS (COPY (CAR X)) (COPY (CDR X))))))
|
|
(DEFINE)
|
|
(DIFFERENCE)
|
|
(DIVIDE
|
|
LAMBDA (X Y) (CONS (QUOTIENT X Y) (CONS (REMAINDER X Y) (QUOTE NIL))))
|
|
(ERROR)
|
|
(EQ)
|
|
(EQUAL)
|
|
(EVAL)
|
|
(FACTORIAL
|
|
LAMBDA (N) (COND ((EQ N 1) 1) (T (TIMES N (FACTORIAL (SUB1 N))))))
|
|
(FIXP)
|
|
(GENSYM)
|
|
(GET
|
|
LAMBDA
|
|
(X Y)
|
|
(COND
|
|
((NULL X) (QUOTE NIL))
|
|
((EQ (CAR X) Y) (CAR (CDR X))) ((QUOTE T) (GET (CDR X) Y))))
|
|
(GREATERP)
|
|
(INTEROP)
|
|
(INTERSECTION
|
|
LAMBDA
|
|
(X Y)
|
|
(COND
|
|
((NULL X) (QUOTE NIL))
|
|
((MEMBER (CAR X) Y) (CONS (CAR X) (INTERSECTION (CDR X) Y)))
|
|
((QUOTE T) (INTERSECTION (CDR X) Y))))
|
|
(LENGTH LAMBDA (L) (COND ((EQ NIL L) 0) (T (ADD1 (LENGTH (CDR L))))))
|
|
(LESSP)
|
|
(MEMBER
|
|
LAMBDA
|
|
(A X)
|
|
(COND
|
|
((NULL X) (QUOTE F))
|
|
((EQ A (CAR X)) (QUOTE T)) ((QUOTE T) (MEMBER A (CDR X)))))
|
|
(MINUSP LAMBDA (X) (LESSP X 0))
|
|
(NOT LAMBDA (X) (COND (X (QUOTE NIL)) ((QUOTE T) (QUOTE T))))
|
|
(NULL LAMBDA (X) (COND ((EQUAL X NIL) (QUOTE T)) (T (QUOTE F))))
|
|
(NUMBERP)
|
|
(OBLIST)
|
|
(ONEP LAMBDA (X) (EQ X 1))
|
|
(PAIR
|
|
LAMBDA
|
|
(X Y)
|
|
(COND
|
|
((AND (NULL X) (NULL Y)) NIL)
|
|
((NULL X) (ERROR (QUOTE F2)))
|
|
((NULL Y) (ERROR (QUOTE F3)))
|
|
(T (CONS (CONS (CAR X) (CAR Y)) (PAIR (CDR X) (CDR Y))))))
|
|
(PLUS)
|
|
(PRETTY)
|
|
(PRINT)
|
|
(PROP
|
|
LAMBDA
|
|
(X Y U)
|
|
(COND
|
|
((NULL X) (U)) ((EQ (CAR X) Y) (CDR X)) ((QUOTE T) (PROP (CDR X) Y U))))
|
|
(QUOTIENT)
|
|
(READ)
|
|
(REMAINDER)
|
|
(REPEAT
|
|
LAMBDA (N X) (COND ((EQ N 0) NIL) (T (CONS X (REPEAT (SUB1 N) X)))))
|
|
(RPLACA)
|
|
(RPLACD)
|
|
(SET)
|
|
(SUB1 LAMBDA (N) (DIFFERENCE N 1))
|
|
(SYSIN)
|
|
(SYSOUT) (TERPRI) (TIMES) (TRACE) (UNTRACE) (ZEROP LAMBDA (N) (EQ N 0)))
|