i i i i i i i       ooooo    o        ooooooo   ooooo   ooooo
  I I I I I I I      8     8   8           8     8     o  8    8
  I  \ `+' /  I      8         8           8     8        8    8
   \  `-+-'  /       8         8           8      ooooo   8oooo
    `-__|__-'        8         8           8           8  8
        |            8     o   8           8     o     8  8
  ------+------       ooooo    8oooooo  ooo8ooo   ooooo   8

Welcome to GNU CLISP 2.49 (2010-07-07) <http://clisp.cons.org/>

Copyright (c) Bruno Haible, Michael Stoll 1992, 1993
Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
Copyright (c) Bruno Haible, Sam Steingold 1999-2000
Copyright (c) Sam Steingold, Bruno Haible 2001-2010

Type :h and hit Enter for context help.

[1]> (load "lp.lsp")
;; Loading file lp.lsp ...
;; Loaded file lp.lsp
T
[2]> (singleton-p '(a))
T
[3]> (singleton-p '(a b))
NIL
[4]> (singleton-p '(a b c d e f g))
NIL
[5]> (trace rac)
;; Tracing function RAC.
(RAC)
[6]> (rac '(a))
1. Trace: (RAC '(A))
1. Trace: RAC ==> A
A
[7]> (rac '(a b c d))
1. Trace: (RAC '(A B C D))
2. Trace: (RAC '(B C D))
3. Trace: (RAC '(C D))
4. Trace: (RAC '(D))
4. Trace: RAC ==> D
3. Trace: RAC ==> D
2. Trace: RAC ==> D
1. Trace: RAC ==> D
D
[8]> (trace rdc)
;; Tracing function RDC.
(RDC)
[9]> (rdc '(a))
1. Trace: (RDC '(A))
1. Trace: RDC ==> NIL
NIL
[10]> (rdc '(a b c d e))
1. Trace: (RDC '(A B C D E))
2. Trace: (RDC '(B C D E))
3. Trace: (RDC '(C D E))
4. Trace: (RDC '(D E))
5. Trace: (RDC '(E))
5. Trace: RDC ==> NIL
4. Trace: RDC ==> (D)
3. Trace: RDC ==> (C D)
2. Trace: RDC ==> (B C D)
1. Trace: RDC ==> (A B C D)
(A B C D)
[11]> (untrace rac)
(RAC)
[12]> (untrace rdc)
(RDC)
[13]> (trace snoc)
;; Tracing function SNOC.
(SNOC)
[14]> (snoc 'blue '())
1. Trace: (SNOC 'BLUE 'NIL)
1. Trace: SNOC ==> (BLUE)
(BLUE)
[15]> (snoc 'blue '(red))
1. Trace: (SNOC 'BLUE '(RED))
1. Trace: SNOC ==> (RED BLUE)
(RED BLUE)
[16]> (snoc 'blue '(cyan indigo periwinkle navy))
1. Trace: (SNOC 'BLUE '(CYAN INDIGO PERIWINKLE NAVY))
2. Trace: (SNOC 'BLUE '(INDIGO PERIWINKLE NAVY))
3. Trace: (SNOC 'BLUE '(PERIWINKLE NAVY))
4. Trace: (SNOC 'BLUE '(NAVY))
4. Trace: SNOC ==> (NAVY BLUE)
3. Trace: SNOC ==> (PERIWINKLE NAVY BLUE)
2. Trace: SNOC ==> (INDIGO PERIWINKLE NAVY BLUE)
1. Trace: SNOC ==> (CYAN INDIGO PERIWINKLE NAVY BLUE)
(CYAN INDIGO PERIWINKLE NAVY BLUE)
[17]> (untrace snoc)
(SNOC)
[18]> (trace palindrome-p)
;; Tracing function PALINDROME-P.
(PALINDROME-P)
[19]> (palindrome-p '())
1. Trace: (PALINDROME-P 'NIL)
1. Trace: PALINDROME-P ==> T
T
[20]> (palindrome-p '(palindrome))
1. Trace: (PALINDROME-P '(PALINDROME))
1. Trace: PALINDROME-P ==> T
T
[21]> (palindrome-p '(clos sloc))
1. Trace: (PALINDROME-P '(CLOS SLOC))
1. Trace: PALINDROME-P ==> NIL
NIL
[22]> (palindrome-p '(food drink food))
1. Trace: (PALINDROME-P '(FOOD DRINK FOOD))
2. Trace: (PALINDROME-P '(DRINK))
2. Trace: PALINDROME-P ==> T
1. Trace: PALINDROME-P ==> T
T
[23]> (palindrome-p '(1 2 3 4 5 4 3 2 1))
1. Trace: (PALINDROME-P '(1 2 3 4 5 4 3 2 1))
2. Trace: (PALINDROME-P '(2 3 4 5 4 3 2))
3. Trace: (PALINDROME-P '(3 4 5 4 3))
4. Trace: (PALINDROME-P '(4 5 4))
5. Trace: (PALINDROME-P '(5))
5. Trace: PALINDROME-P ==> T
4. Trace: PALINDROME-P ==> T
3. Trace: PALINDROME-P ==> T
2. Trace: PALINDROME-P ==> T
1. Trace: PALINDROME-P ==> T
T
[24]> (palindrome-p '(hey hey my my my my hey hey))
1. Trace: (PALINDROME-P '(HEY HEY MY MY MY MY HEY HEY))
2. Trace: (PALINDROME-P '(HEY MY MY MY MY HEY))
3. Trace: (PALINDROME-P '(MY MY MY MY))
4. Trace: (PALINDROME-P '(MY MY))
5. Trace: (PALINDROME-P 'NIL)
5. Trace: PALINDROME-P ==> T
4. Trace: PALINDROME-P ==> T
3. Trace: PALINDROME-P ==> T
2. Trace: PALINDROME-P ==> T
1. Trace: PALINDROME-P ==> T
T
[25]> (bye)
Bye.