!do lispify (INPUT FILESPEC),(OUTPUT FILESPEC)!
@define (LOGICAL NAME) lmpc1: (AS) 'A
@define (LOGICAL NAME) lmpc2: (AS) 'A
@define (LOGICAL NAME) lmpc3: (AS) tempor.pl
@define (LOGICAL NAME) lmpc4: (AS) 'B
@run (PROGRAM) ss:<lm-prolog.compatibility>devar
@continue
@run (PROGRAM) ss:<lm-prolog.compatibility>lispify
@continue
@lisp
*(defprop define-predicate (lambda (obj) (gf "(2*_$:Gblock <_N*>)" obj)) :gformat)
*(with-open-file (i "'B")
*  (with-open-file (o "'B" (quote out))
*    (do ((s (read i -1) (read i -1)))
*        ((eq -1 s) t)
*      (gprint s o)
*      (terpri o))))
*(quit)