; Can you use P and Q to build a stream?
; ------------------------------
; The Little Lisper 3rd Edition
; Chapter 9
; Exercise 10
; Common Lisp
; http://t...content-available-to-author-only...r.com/thelittlelisper
; http://t...content-available-to-author-only...t.com/2010/06/little-lisper-chapter-9-lamdba-ultimate.html
; http://t...content-available-to-author-only...t.com/2010/06/little-lisper.html
; ------------------------------
 
(defun add1 (n)
  (+ 1 n))
 
(defun build (a b)
  (cons a (cons b '())))
 
(defun str-maker (next n)
  (build n (lambda () 
           (str-maker next (funcall next n)))))
 
(set 'int-maker (str-maker (function add1) 0))
 
(defun first$ (l) 
  (first l))
 
(defun second$ (l) 
  (funcall (second l)))
 
(defun /_(m n)
  (cond
   ((zero m) 0)
   ((< m 0) 0)
   ((< m n) 0)
   (t (+ 1 (/_ (- m n) n)))))
 
 
(defun remainder (n m)
  (cond
   (t (- n (* m (/_ n m))))))
 
(defun Q (str n)
  (cond
   ((zero (remainder (first$ str) n))
         (Q (second$ str) n))
   (t (build (first$ str) (lambda () (Q (second$ str) n))))))
 
(defun P (str)
  (build (first$ str) (lambda () (P (Q str (first$ str))))))
 
(defun zero (n)
  (= 0 n))
 
(defun sub1 (n)
  (- n 1))
 
(defun frontier (str n)
    (cond
     ((zero n) '())
     (t (cons (first$ str) (frontier (second$ str)(sub1 n))))))
 
(print (frontier (P (second$ (second$ int-maker))) 10))
; (2 3 5 7 11 13 17 19 23 29)
; This is a stream of prime numbers
 
 

OyBDYW4geW91IHVzZSBQIGFuZCBRIHRvIGJ1aWxkIGEgc3RyZWFtPwo7IC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQo7IFRoZSBMaXR0bGUgTGlzcGVyIDNyZCBFZGl0aW9uCjsgQ2hhcHRlciA5CjsgRXhlcmNpc2UgMTAKOyBDb21tb24gTGlzcAo7IGh0dHA6Ly90Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5yLmNvbS90aGVsaXR0bGVsaXNwZXIKOyBodHRwOi8vdC4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4udC5jb20vMjAxMC8wNi9saXR0bGUtbGlzcGVyLWNoYXB0ZXItOS1sYW1kYmEtdWx0aW1hdGUuaHRtbAo7IGh0dHA6Ly90Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi50LmNvbS8yMDEwLzA2L2xpdHRsZS1saXNwZXIuaHRtbAo7IC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKKGRlZnVuIGFkZDEgKG4pCiAgKCsgMSBuKSkKCihkZWZ1biBidWlsZCAoYSBiKQogIChjb25zIGEgKGNvbnMgYiAnKCkpKSkKCihkZWZ1biBzdHItbWFrZXIgKG5leHQgbikKICAoYnVpbGQgbiAobGFtYmRhICgpIAogICAgICAgICAgIChzdHItbWFrZXIgbmV4dCAoZnVuY2FsbCBuZXh0IG4pKSkpKQoKKHNldCAnaW50LW1ha2VyIChzdHItbWFrZXIgKGZ1bmN0aW9uIGFkZDEpIDApKQoKKGRlZnVuIGZpcnN0JCAobCkgCiAgKGZpcnN0IGwpKQoKKGRlZnVuIHNlY29uZCQgKGwpIAogIChmdW5jYWxsIChzZWNvbmQgbCkpKQoKKGRlZnVuIC9fKG0gbikKICAoY29uZAogICAoKHplcm8gbSkgMCkKICAgKCg8IG0gMCkgMCkKICAgKCg8IG0gbikgMCkKICAgKHQgKCsgMSAoL18gKC0gbSBuKSBuKSkpKSkKCgooZGVmdW4gcmVtYWluZGVyIChuIG0pCiAgKGNvbmQKICAgKHQgKC0gbiAoKiBtICgvXyBuIG0pKSkpKSkKCihkZWZ1biBRIChzdHIgbikKICAoY29uZAogICAoKHplcm8gKHJlbWFpbmRlciAoZmlyc3QkIHN0cikgbikpCiAgICAgICAgIChRIChzZWNvbmQkIHN0cikgbikpCiAgICh0IChidWlsZCAoZmlyc3QkIHN0cikgKGxhbWJkYSAoKSAoUSAoc2Vjb25kJCBzdHIpIG4pKSkpKSkKCihkZWZ1biBQIChzdHIpCiAgKGJ1aWxkIChmaXJzdCQgc3RyKSAobGFtYmRhICgpIChQIChRIHN0ciAoZmlyc3QkIHN0cikpKSkpKQoKKGRlZnVuIHplcm8gKG4pCiAgKD0gMCBuKSkKCihkZWZ1biBzdWIxIChuKQogICgtIG4gMSkpCgooZGVmdW4gZnJvbnRpZXIgKHN0ciBuKQogICAgKGNvbmQKICAgICAoKHplcm8gbikgJygpKQogICAgICh0IChjb25zIChmaXJzdCQgc3RyKSAoZnJvbnRpZXIgKHNlY29uZCQgc3RyKShzdWIxIG4pKSkpKSkKCihwcmludCAoZnJvbnRpZXIgKFAgKHNlY29uZCQgKHNlY29uZCQgaW50LW1ha2VyKSkpIDEwKSkKOyAoMiAzIDUgNyAxMSAxMyAxNyAxOSAyMyAyOSkKOyBUaGlzIGlzIGEgc3RyZWFtIG9mIHByaW1lIG51bWJlcnMKCg==