Restivo%SU-SCORE@sri-unix.UUCP (06/18/84)
From: Chuck Restivo <Restivo@SU-SCORE>
Richard O'Keefe sent the following utilities to the <Prolog>
library:
DISTFI - a test harness which compiles DISTFI.Pl and Rdtok.Pl
- defines some example distfix operators and defines a
dconsult predicate to load files written using distfix
operators.
DISFI.Pl - a Prolog parser, which understands distfix operators.
ORDER.Pl - defines the "ordered" predicates.