Ackermann function example.

tmishra · carld · commit edca42c5013e · 2011-10-14T20:41:55.000+08:00
diff --git a/examples/ackermann.lisp b/examples/ackermann.lisp
@@ -0,0 +1,9 @@
+( LETREC ACKERMANN
+    ( ACKERMANN LAMBDA ( X Y )
+     ( IF ( EQ X ( QUOTE 0 ) )
+     ( ADD Y ( QUOTE 1 ) )
+     ( IF ( EQ Y ( QUOTE 0 ) )
+     ( ACKERMANN ( SUB X ( QUOTE 1 ) ) ( QUOTE 1 ) )
+     ( ACKERMANN ( SUB X ( QUOTE 1 ) ) ( ACKERMANN X ( SUB Y (
+       QUOTE 1 ) ) ) ) ) ) ) )                                                                                                                               QUOTE 1 ) ) ) ) ) ) ) )
+
