DataMuseum.dk

top - metrics - download

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

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

TextFile

exrel-mod
(RPRED external listex listfile LISTEX LISTFILE open close internal)
("?REV-P?" opened)
((COPYRIGHT 1983 LPA LTD (V 3-2)))
((Exx X Y Z x)
  (DELCL ((Yøy)øz))
  (WRITE X ( ((Yøy)øz) ))
  (SEEK X X1)
  (Exx X Y X1 x))
((Exx X Y Z Z))
((Ext X () Y)
  /)
((Ext X (YøZ) x)
  (Exx X Y x y)
  (ADDCL ((Yøz)(RPRED X x y (Yøz))))
  (Ext X Z y))
((external Y)
  (CREATE Y)
  (R Z)
  (IF (CON Z) ((Ext Y (Z) (0ø0)))
	     ((Ext Y Z (0ø0))))
  (CLOSE Y))
((test X Y)(CL ((opened Y)))/)
((test X Y)(X Y))
((listfile Y)
  (OPEN Y)
  (int Y (0ø0) y print)
  (test CLOSE Y))
((LISTFILE Y)
  (OPEN Y)
  (int Y (0ø0) y PP)
  (test CLOSE Y))
((listex X) 
  (CL ((Xøz)(RPRED Y x y (Xøz))))(OPEN Y)
  (int Y x y print)(test CLOSE Y))
((LISTEX X)
  (CL ((Xøz)(RPRED Y x y (Xøz))))(OPEN Y)
  (int Y x y PP)(test CLOSE Y))
((print X)
  ("?REV-P?" X X1)
  (PøX1)(PP))
((open X)(IF (CL ((opened X))) () ((OPEN X)(ADDCL ((opened X))))))
((close X)(CLOSE X)(IF (DELCL ((opened X))) ()()))
((internal X)
  (CL ((Xøz)(RPRED Y x y (Xøz))))(OPEN Y)
  (int Y x y ADDCL)(test CLOSE Y)
  (DELCL ((XøX1) (RPREDøX2))))
((int Y x y z)
  (less x y)
  (SEEK Y x)
  (READ Y X)
  (z X)
  (SEEK Y x1)/
  (int Y x1 y z)) 
((int Y x y z))
((less x y) (VAR y)/)
((less (xøy) (xøy1))
   /(SUM y 2 y2)(LESS y2 y1))
((less (xøy) (x1øy1))
   (LESS x x1))
((RPRED X Y Z x)
  (SEEK X Y)
  (READ X y)
  (SEEK X z)
  (OR ((EQ (xøx1) y) (? x1)) ((less z Z) (RPRED X z Z x))))
CLMOD
«eof»