home *** CD-ROM | disk | FTP | other *** search
/ Oakland CPM Archive / oakcpm.iso / sigm / vol166 / posco.rec < prev    next >
Encoding:
Text File  |  1984-04-29  |  1.5 KB  |  34 lines
  1.  
  2. [POSCO.REC]
  3. [compile a Post system into REC]
  4. [18 December 1980]
  5.  
  6. [variable bracketed by constants, followed by another variable]
  7. {
  8.     [cr, lf]            (2573TL;)&
  9.     [read console]        (R13%='';T08%(=2080[sp,bs]TL)(@J|;L@J;);)J
  10.     [logon message]        (''TL@&'Initial Axiom:'TL@&@JI;:)R
  11.     [to shorten program]    (UQzml;)U
  12.     [write workspace]        (JZqt;)W
  13.     [to shorten program]    (zZQml;)Z
  14.     [signoff message]        (@&'Theorem:'TL@&JZqt;)X
  15.                 (@R(@&@WRL
  16. JZ''E'!'@U0$S('!'E'['@U1$S('['E']'@U2$S(']'E'['@U3$S('['E'.'@U4$S('.'E'!'@U5$S('!'E@Z6$S(
  17.     JZD''I0$ryGI'{`'I1$ryGI'`E`'I3$ryGI'`UQzml'I2$ryGI'$S!'I3$ryGI'['I4$ryGI'.'I5$ryGI'!nL;nL}'I6$ryGI''I;)nL;nL)nL;nL)nL;nL)nL;nL)nL;nL)nL;nL)nL:
  18. [terminal variable]
  19. JZ''E'!'@U0$S('!'E'['@U1$S('['E'].'@U2$S('].'E'!'@U5$S('!'E@Z6$S(
  20.     JZD''I0$ryGI'{`'I1$ryGI'`FzZQml'I2$ryGI'$S!.'I5$ryGI'!nL;nL}'I6$ryGI''I;)nL;nL)nL;nL)nL;nL)nL;nL)nL:
  21. [final variable, but still followed by a constant]
  22. JZ''E'!'@U0$S('!'E'['@U1$S('['E']'@U2$S(']'E'.'@U3$S('.'E'!'@U5$S('!'E@Z6$S(
  23.     JZD''I0$ryGI'{`'I1$ryGI'`E`'I3$ryGI'`UQzml'I2$ryGI'$S!.'I5$ryGI'!nL;nL}'I6$ryGI''I;)nL;nL)nL;nL)nL;nL)nL;nL)nL;nL)nL:
  24. [compile the consequent]
  25. JZ''E'#'@U0$S('#'E'['@U1$S('['E']'@U2$S(']'E'!'@U5$S('!'E@Z6$S(
  26.     JZD''I0$ryGI'`'I1$ryGI'`I'I2$ryGI'$ryGI#'I5$ryGI'!'I6$ryGI''I;)nL;nL)nL;nL)nL;nL)nL;nL)nL:
  27. [compile final constant in the consequent]
  28. JZ''E'#'@U0$S('#'E'!'@U1$S('!'E@Z6$S(
  29.     JZD''I0$ryGI'`'I1$ryGI'`I'I6$ryGI':'I;)nL;nL)nL;nL)nL:
  30. [antecedent compiled, set up consequent]
  31. JZ''E'!.'@U0$S('!.'E@Z6$S(
  32.     JZD''I0$ryGI'JZD#'I6$ryGI''I;)nL;nL)nL:;)@X;)}
  33.  
  34.