|
DataMuseum.dkPresents historical artifacts from the history of: RegneCentralen RC850 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about RegneCentralen RC850 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 1408 (0x580) Types: TextFile Names: »UP212TO3.LOG«
└─⟦0c23030ba⟧ Bits:30005892 LPA Prolog rel 2.0 (RC855) └─⟦this⟧ »UP212TO3.LOG«
up212to3-mod(convert)(Is-All For-All Not vars) ((COPYRIGHT 1983 LPA LTD (V 8-2))) ((cnvlit X X) (VAR X) /) ((cnvlit (XøY) (XøY)) (VAR X) /) ((cnvlit PP (PP)) /) ((cnvlit X X) (CON X) /) ((cnvlit (WRITE XøY) (WRITE X Y)) /) ((cnvlit (W XøY) (W X Y))/) ((cnlit (STRING X Y) (STRINGOF X Y))/) ((cnlit (RFILL øX) (RFILL øX))/ (PP RFILL used - cannot convert - see manual for new use)) ((cnvlit (IF X Y Z) (IF x y z)) / (cnvlit X x) (cnvrt Y y) (cnvrt Z z)) ((cnvlit (OR X Y) (OR Z x)) / (cnvrt X Z) (cnvrt Y x)) ((cnlit (NOTøX) (NOTøx))/ (cnlit X x)) ((cnlit (? X) (? x))/ (cnvrt X x)) ((cnvlit (Is-All X (YøZ)) (ISALL X Y z))/ (cnvrt Z z)) ((cnvlit (Not øX) (NOT ? x))/ (cnvrt X x)) ((cnvlit (For-All X (YøZ)) (FORALL ((/* vars Y)øz) x))/ (cnvrt X x)(cnvrt Z z)) ((cnvlit (XøY) (XøY))) ((cnvrt X X) (VAR X) /) ((cnvrt () ()) /) ((cnvrt (XøY) (Zøx)) (cnvlit X Z) (cnvrt Y x)) ((conv X Y) (READ X Z) (IF (CON Z) ((IF (NOT EQ Z CLMOD) ((READ X x) (READ X y) (WRITE Y (Z x y)) (conv X Y)) ((WRITE Y (CLMOD))))) ((cnvrt Z z) / (WRITE Y (z)) (conv X Y)))) ((cnv X Y) (conv X Y)) ((cnv X Y)) ((convert X) (OPEN X) (P target file ?) (R Y) (CREATE Y) (cnv X Y) (CLOSE Y) (CLOSE X)) CLMOD «eof»