home *** CD-ROM | disk | FTP | other *** search
-
- [POSCO.PST]
- [compile a Post system into REC]
- [18 December 1980]
-
- [variable bracketed by constants, followed by another variable]
- (<0>!<1>[<2>]<3>[<4>.<5>!<6>,<0>{`<1>`E`<3>`UQzml<2>$S!<3>[<4>.<5>!nL;nL}<6>)
- [terminal variable]
- (<0>!<1>[<2>].<5>!<6>,<0>{`<1>`FzZQml<2>$S!.<5>!nL;nL}<6>)
- [final variable, but still followed by a constant]
- (<0>!<1>[<2>]<3>.<5>!<6>,<0>{`<1>`E`<3>`UQzml<2>$S!.<5>!nL;nL}<6>)
- [compile the consequent]
- (<0>#<1>[<2>]<5>!<6>,<0>`<1>`I<2>$ryGI#<5>!<6>)
- [compile final constant in the consequent]
- (<0>#<1>!<6>,<0>`<1>`I<6>:)
- [antecedent compiled, set up consequent]
- (<0>!.<6>,<0>JZD#<6>)
-
-