DataMuseum.dk

top - metrics - download

    Length: 3200 (0xc80)
    Types: TextFile
    Names: »SIMTRACE.LOG«

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

TextFile

simtrace-mod (does-trace which-trace) ("y" n s f Parse-of-ConjC APPEND 
Parse-of-SS : Parse-of-Cond dict q #)
((COPYRIGHT 1983 LPA LTD (V 29-1)))
((ENTER x "y" (XøY)) / (CL ((XøY1)øZ) 1 x5)
 (Parse-of-SS (XøY) X1 ()) 
 (Parse-of-SS (XøY1) X2 ())
 (APPEND  (matching x:ø X1) (with head of x5 : øX2)X6)(PP øX6)
 (IF (EQ Y Y1) 
     ((P "  match succeeds: ")(PP øX1)) ((P "  match fails")(PP)FAIL))
 (effect (NOT EQ Z ()) (Parse-of-ConjC (?) Z (?øZ1))(PP  new query :ø Z1))  
 (OR () ((PP retrying x ..)FAIL))
 (??(1 øx) Z z)øz)
((ENTER x n X) / X (OR () ((PP retrying x ..)FAIL)))
((ENTER x s X)/)
((ENTER x f X) / FAIL)
((ENTER x q X) ABORT)
((ENTER x X Y) (P ENTER "y" n s(to succeed) f(to fail) or q (to quit)) (R Z)
  (ENTER x Z Y))
((which-trace (Xø Y)) 
  (Parse-of-ConjC (:) Y1 (:øY))  (whichex X Y1))
((whichex X Y1)
  (??( 1) Y1 z) 
   (IF (EQ z ()) ((PP X)(PP backtracking ..) FAIL) 
	((PP No (more)answers))))
((whichex X Y1) (PP No (more) answers))
((does-trace X)
  (Parse-of-ConjC (?) Y (?øX))
  (IF (?? (1)Y ()) ((PP Yes)) ((PP No))))
((?? x () ()))
((?? x ((? X)) ())/
  (?? x X z1))
((?? (xø x1)(XøY) z) 
  (effect (Parse-of-Cond X  X1 ())(P (x øx1)  :  øX1))    
  (test (x øx1) X) 
  (EQ X (yøy1))
  (OR ((EQ y #)/(EQ y1 (Z Z1))(Parse-of-Cond Z X1 ()))
      ((Parse-of-Cond X X1 ())))
  (PP  (x øx1)solved :ø X1)(SUM x 1 x2)
  (??( x2øx1) Y z))
((?? x ((/)øY) (/FAIL))/)
((?? x (XøY) z) (Parse-of-Cond X Z ())
(PP x failing :øZ ) 
  FAIL)
((test x (# X Y))/
  (response Z1)
  (IF (EQ Z1 "y") ((PP evaluating expressions using relations..)
                   (?? (1øx) Y z1)/(Parse-of-SS X X2 ())
                   (PP evaluating x :øX2)(IF (SYS X) (X) 
						((ENTER x "y" X)))) 
	          ((# X Y)))) 
((test x (FORALL ((/*øY1)øX) Y))/
  (response Z1)
  (IF (EQ Z1 "y") ((APPEND X ((NOT ? Y)) Z)
                   (effect (Parse-of-ConjC (?) Z (?øz))
  		           (PP trying to solve its negation :øz))
		   (IF (?? (1øx) Z ()) ((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") ((effect (Parse-of-ConjC (?) Z (?øZ1))
			(PP finding all Y such that:øZ1))
			(isall x X YøZ))  
		 ((ISALL X YøZ))))
((isall 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))
((test x  (NOT ? X3))/
  (response Z1)
  (IF (EQ Z1 "y") ((PP x unnegated)
                   (IF (?? (1øx) X3 ()) ((PP unnegated x solved so..)FAIL) 
                                        ((PP unnegated x failed so..))))
		  ((NOT ? X3))
  ))
((test x (X2øX3))
  (CL ((dict X2)))/
  (P " trace?")(R Z1)
  (ENTER x Z1 (X2øX3)))
((test x X)(PP) X (OR () ((NOT SYS X)(PP retrying x)FAIL)))
((response Z1)
  (P " trace?(y/n) ")(R Z1))
((effectøX) (? X) FAIL)
((effect øX))
CLMOD
«eof»