DataMuseum.dk

top - metrics - download

    Length: 640 (0x280)
    Types: TextFile
    Names: »TOLD.LOG«

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

TextFile

told-mod (is-told)(yes no just ans)
((COPYRIGHT 1983 LPA LTD (V 29-1)))
((is-told X)( LST X)/(told X))
((is-told øX)(told X))
((told X)(P øX)(P " ? ")
  (R Y)(answer X Y))
((answer X yes)/)
((answer X no)/FAIL)
((answer X just)/(match X))
((answer X ans) (match X)) 
((answer X x) (NOT EQ x ans)(P x ignored - enter: yes/no/ans ..
  /just ..)(PP)FAIL)
((answer X x)(told X)) 
((match ())/)
((match (xøX))
  (VAR x)/(R x)(match X))
((match ((xøy)øX))/
  (match (xøy))
  (match X))
((match (xøX))
  (match X))
CLMOD
«eof»