DataMuseum.dk

top - metrics - download

    Length: 3840 (0xf00)
    Types: TextFile
    Names: »EDITOR.LOG«

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

TextFile

editor-mod (EDIT) (t n s b m c e o u w k i a yes no)
((COPYRIGHT 1983 LPA LTD (V 3-3)))
((D-C () () ()))
((D-C (XøY) (X) Y))
((Rev-list () X X))
((Rev-list (XøY) Z x) (Rev-list Y (XøZ) x))
((DownC X (() Y Z)) (NOT VAR X) (D-C X Y Z))
((App-C () X X))
((App-C (XøY) Z (Xøx)) (App-C Y Z x))
((BackC ((XøY) Z x) (Y (X) y)) (App-C Z x y))
((BackC (() (X) Y) (() () (XøY))))
((NextC (X Y (Zøx)) (y (Z) x)) (App-C Y X y))
((NextC (X (Y) ()) ((YøX) () ())))
((Delete-in-C (() X Y) (() () Y)))
((Delete-in-C ((XøY) Z x) (Y (X) x)))
((Front-C 0 () X X))
((Front-C X (YøZ) x (Yøy)) (LESS 0 X) (SUM 1 z X) (Front-C z Z x y))
((DisplayC (X () Y) "No term") /)
((DisplayC (X (Y) Z) Y))
((shift-l X 0 X)/)
((shift-l ((XøX1) (Y) Z) x (X2 Y2 Z2))
  (SUM x 1 x1)(shift-l (X1 (Y) (XøZ)) x1 (X2 Y2 Z2)))
((shift-l (() Y Z) x (() Y Z)))
((shift-r X 0 X)/)
((shift-r (X (Y) (ZøZ1)) x (X2 Y2 Z2))
  (SUM 1 x1 x)(shift-r ((ZøX) (Y) Z1) x1 (X2 Y2 Z2)))
((shift-r (X Y ()) x (X Y ())))
((Edit-in-C (X Y Z) i (X (x) y)) (R x) (App-C Y Z y))
((Edit-in-C (X Y Z) a (x (y) Z)) (R y) (App-C Y X x))
((Edit-in-C X k Y) (Delete-in-C X Y))
((Edit-in-C X m Y)
  (R x)
  (IF (LESS x 0) ((shift-l X x Y)) ((LESS 0 x)(shift-r X x Y))))
((Edit-in-C (X (Y) Z) s (X (x) Z)) (R y) (EQ y (Y x)))
((Edit-in-C (X (Y) Z) t (X (x) Z)) (RFILL (Y) x))
((Edit-in-C X n Y) (NextC X Y))
((Edit-in-C X b Y) (BackC X Y))
((Edit-in-C (X Y Z) w (X (x) y)) (R z) (App-C Y Z X1) (Front-C z x y X1))
((Edit-in-C (X (Y) Z) u (X (x) y)) (NOT VAR Y) (App-C Y Z (xøy)))
((Edit-in-C (X (Y) Z) e (X (x) Z)) (DownC Y y) (Edit-term y x))
((UpC (X Y Z) x) (App-C Y Z y) (Rev-list X y x))
((EdC X Y o) (UpC X Y) /)
((EdC X Y Z) (Edit-in-C X Z x) / (Edit-term x Y))
((EdC X Y Z) (PP ?) (Edit-term X Y))
((Edit-term X Y) (DisplayC X x) (Prompt (x) Z) (EdC X Y Z))
((Insert-in-P 0 1 X) (ADDCL X 0))
((Insert-in-P X X Y) (SUM 1 Z X) (ADDCL Y Z))
((Append-in-P x 0 1 X) (ADDCL X 0))
((Append-in-P x X Y Z) (ADDCL Z X)
  (IF (EQ x "No clause") ((EQ X Y)) ((SUM X 1 Y))))
((Goto-P X Y ((XøZ)øx)) (CL ((XøZ)øx) Y Y) /)
((Goto-P X Y "No clause") (LESS -1 Y))
((SHIFT-L X Y Z x1 x y)
  (SUM x2 1 x1)(SUM Y x2 x3)(SUM 1 Y Y1)
  (IF (LESS x3 0) ((EQ x4 0)) ((EQ x4 x3)))
  (ADDCL Z x4)(DELCL X Y1)(SUM x4 1 x)
  (Goto-P X x y))
((SHIFT-R X Y Z x1 x y)
  (SUM Y x1 x2)(ADDCL Z x2)(DELCL X Y)(SUM x2 1 x3)(FIND X x3  x y))
((FIND X x3  x y)
  (Goto-P X x3 y3)
  (IF (EQ y3 "No clause") ((SUM 1 x4 x3)(FIND X x4 x y)) ((EQ (x y)(x3 y3)))))
((E-in-P X Y Z i x y) (R y) (EQ y ((XøX1)øX2))(Insert-in-P Y x y))
((E-in-P X Y Z c x Z) (NOT EQ Z "No clause")(Append-in-P Z Y x Z))
((E-in-P X Y Z m x y)(R x1)
  (IF (LESS x1 0) ((SHIFT-L X Y Z x1 x y)) 
	((LESS 0 x1)(SHIFT-R X Y Z x1 x y))))
((E-in-P X Y Z a x y) (R y) (EQ y ((XøX1)øX2))(Append-in-P Z Y x y))
((E-in-P X Y Z k x y) (DELCL X Y) (SUM 1 x Y) (Goto-P X x y))
((E-in-P X Y Z n x y) (NOT ? ((EQ Z "No clause") (LESS 0 Y))) (SUM 1 Y x) (Goto-P X x y))
((E-in-P X Y Z b x y) (SUM 1 x Y) (Goto-P X x y))
((E-in-P X Y (Zøx) e y Z1) (Edit-term (() (Z) x) ((X1øy1)øz)) 
	(Update-p X Y ((X1øy1)øz) Z1 y))
((E-in-P X Y (Zøx) t Y1 z) (RFILL ((Zøx)) y)
	(Update-p X Y y z Y1))
((Update-p X Y ((XøX1)øX2) ((XøX1)øX2) Y)
	/ (ADDCL ((XøX1)øX2) Y) (DELCL X Y))
((Update-p X Y Z z Y)
	(EQ Z ((Z1øZ2)øZ3))
	(Prompt (Put clause Z in relation Z1 "?(yes/no) ") X1)
	(EQ X1 yes)
	(Prompt ( Where?) Y1)
	(INT Y1)
	(ADDCL Z Y1)
	(DELCL X Y)
	(Goto-P X Y z))
((EdP X Y Z o) (PP EDIT of X finished) /)
((EdP X Y Z x) (E-in-P X Y Z x y z) / (Edit-P X y z))
((EdP X Y Z x) (PP ?) (Edit-P X Y Z))
((Edit-P X Y Z) (Prompt (Æ Y Å Z) x) (EdP X Y Z x))
((EDIT X) (NOT SYS X) (OR ((CL ((XøY)øZ) 1 1) (Edit-P X 1 ((XøY)øZ))) 
  ((Edit-P X 0 "No clause"))))
((Prompt x y)
	(Pø x)
	(INTOK "CON:" y))
CLMOD
«eof»