DataMuseum.dk

top - metrics - download

    Length: 1408 (0x580)
    Types: TextFile
    Names: »UP212TO3.LOG«

└─⟦0c23030ba⟧ Bits:30005892 LPA Prolog rel 2.0 (RC855)
    └─⟦this⟧ »UP212TO3.LOG« 

TextFile

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»