DataMuseum.dk

top - metrics - download

    Length: 2304 (0x900)
    Types: TextFile
    Names: »TRACE.LOG«

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

TextFile

trace-mod (??) ("y" n s q f)
((COPYRIGHT 1983 LPA LTD (V 2-2)))
((ENTER z "y" (XøY)) / (CL ((XøY)øZ) 1 y)
  (PP z matches clause y)
  (??? (1øz) Z x)øx)
((ENTER Z n X) / X )
((ENTER Z f X) / FAIL)
((ENTER Z s X) /)
((ENTER Z q X) ABORT)
((ENTER z X Y) (P ENTER "y" n s(for succeed) f(for fail)or q (to quit)) (R Z) 
  (ENTER z Z Y))
((??? z () ()))
((??? (z øz1)(XøY) x) (P (zø z1) X) (test (zøz1) X)
            (P(z øz1) solved X) (PP) (SUM z 1 z2)(??? (z2ø z1) Y x) )
((??? z ((/)øY) (/ FAIL))/)
((??? z (/øY) (/ FAIL))/)
((??? z (XøY) x) (P z failing X) (PP) FAIL)
((?? X)(??? (1) X x))
((response x) (P " trace?(y/n)")(R x))
((test z (NOTøX))/
  (response x)
  (IF (EQ x "y") ((nottrace z X))((NOT øX))))
((test x (FORALL X Y))/
  (response Z1)
  (IF (EQ Z1 "y") ((P FORALL solved if ((? X) (NOT ? Y)) fails) (PP)
		   (IF	(??? (1øx) ((? X) (NOT ? Y)) ()) 
				((PP negation of x solved so ..)FAIL)
				((PP negation of x failed so ..))))
		  ((FORALL X Y))))
((test x (ISALL X Y øZ))/
  (response y)
  (IF (EQ y "y") ((PP finding all Y such that Z)(isalltrace x X YøZ))  
		 ((ISALL X YøZ))))
((test z (IF X Y Z))/
  (response x)
  (IF (EQ x "y") ((iftrace z X Y Z)) ((IF X Y Z))))
((test z (OR X Y))/
  (response x)
  (IF (EQ x "y") ((ortrace z X Y)) ((OR X Y))))
((test z (? X))/
  (response x)
  (IF (EQ x "y") ((??? (1øz) X x1)øx1)  X))
((test z X)
  (SYS X)/(PP)X)
((test z X)
  (P " trace?")(R x)(ENTER z x X))
((nottrace z X)
  (PP z unnegated)
  (IF (??? (1øz) (X) x) ((PP unnegated z solved so..)FAIL) 
                    ((PP unnegated z failed so..))))
((iftrace z X Y Z)
  (PP z test evaluation)
  (??? (1øz) (X) x)/
  (PP z test solved .. entering then branch)
  (??? (1øz) Y x)øx)
((iftrace z X Y Z)
  (PP z test failed .. entering else branch)
  (??? (1øz) Z x)øx)
((ortrace z X Y)
  (PP z either branch)
  (??? (1øz) X x)øx)
((ortrace z X Y)
  (PP z or branch)
  (??? (1øz) Y x)øx)
((isalltrace y X YøZ)
  (init x ())/(FORALL ((??? (1øy) Z z)øz) ((PP found answer Y to y)(update x Y)))
  (DELCL ((value x X))))
((init x Y)
  (VAR x)
  (DELCL ((count x)))
  (SUM x 1 Z)
  (ADDCL ((count Z)))
  (ADDCL ((value x Y))))
((update X Y)
  (DELCL ((value X Z)))
  (ADDCL ((value X (YøZ)))))
((count 1))
CLMOD
«eof»