DataMuseum.dk

top - metrics - download

    Length: 1536 (0x600)
    Types: TextFile
    Names: »EXPTRAN.LOG«

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

TextFile

exptran-mod
( Expression-Parse )
(@ # + - ü * % 
APPEND CONS func & and yes rel-form)
((COPYRIGHT 1983 LPA LTD (V 29-1)))
((less + x2)) 
((less "-" x2))
((less ü x2))
((op x)
  (NOT VAR x)
  (sysop x))
((fn x)
  (CON x)(fn1 x))
((fn1 APPEND))
((fn1  @))
((fn1 x)(CL ((func x))))
((fn1 x)
  (PP x assumed not to be function name)FAIL)
((sysop +))
((sysop ü))
((sysop "-"))
((sysop *))
((sysop %))
((sysop /))
(("?EQNS-IN?"))
((Expression-Parse x y z)
  (VAR z)/
  (X-parse x y z ()))
((Expression-Parse x x z)
  (NOT CL ((rel-form)))(symbval z))
((symbval ())/)
((symbval ((XøY)øZ))
  (APPEND Y1 (x) Y)/
  (IF (sysop X) ((EQ Y1 (y1 y2))(EQ x (y1 X y2))) ((EQ x (XøY1))))
  (symbval Z))
((name / %)/)
((name ü -)/)
((name x x))
((X-parse x x y y) (NOT LST x)/)
((X-parse (y1 x y2) z Z Y)
  (op x)
  (X-parse y1 z1 Z Y1)(name x x1)
  (X-parse y2 z2 Y1 ((x1 z1 z2 z)øY))
  /)
((X-parse (y1 x1 y2 x2 øY) z Z X)
  (op x1)(op x2)/
  (IF (less x1 x2) ((X-parse (y1 x1 (y2 x2øY)) z Z X))
				 ((X-parse ((y1 x1 y2)x2øY) z Z X)))
  )
((X-parse (x y Y) z ((CONS y1 Y1 z)øZ) Z1)
  (NOT VAR x)(EQ x CONS)/
  (Zip (y Y) (y1 Y1) Z Z1))
((X-parse (xøY) z Z Z1)
  (fn x)/
  (Zip Y Y1 Z ((xøY2)øZ1))
  (APPEND Y1 (z) Y2))
((X-parse X Y Z Z1)
  (Zip X Y Z Z1))
((Zip x x y y )
  (NOT LST x)
  /)
((Zip ()() y y)/)
((Zip (yøY) (y1øY1) Z Z2)
  (X-parse y y1 Z Z1)
  (Zip Y Y1 Z1 Z2))
CLMOD
«eof»