Quelle  Kleene-p269.cob   Sprache: Cobol

       Identification Division.
       Program-Id. p269.
       Author. "Stephen Cole Kleene".
      * "Introduction to Metamathematics"
      *  p265
       Data Division.
       Working-Storage Section.
      * variables
         77 a pic S9(8).
         77 c  pic S9(8).
         77 b   pic S9(8).
         77 phi pic S9(8).
         77 p   pic S9(8).
         77 p3   pic S9(8).
       Linkage Section.
         77 p1 pic S9(8).
         77 p2 pic S9(8).
         77 r  pic S9(8).
       Procedure Division using p1 p2 returning r.
      * this is a sample from author
      * f4(a,c,b)=a
      * f5(a,c,b)=f3(f4(a,c,b))
      * f6(a,c,b)=b
      * f7(a,c,b)=f2(f6(a,c,b),f5(a,c,b))
      * f8(a,c,b)=2
      * f9(a,c,b)=f1(f4(a,c,b),f7(a,c,b)f8(a,c,b))
         perform epi
         move phi to r
         goback.
         f1.
          ?
         f2.
          ?
         f3.
          ?
         f4.
          move a to r.
         f5.
          perform f4.
          move r to p
          perform f3.
         f6.
           move b to r.
         f7.
         perform f6
         move r to p1
         perform f5
         move r to p2
         perform f2.
         f8.
          move 2 to r.
         f9.
          perform f4.
          move r to p1.
          perform f7.
          move r to p2.
          perform f8.
          move r to p3.
          perform f1.
       End-Program p269.