Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!linus!vaxine!wjh12!genrad!decvax!ittvax!dcdwest!sdcsvax!sdcrdcf!hplabs!sri-unix!Restivo@SU-SCORE From: Restivo%SU-SCORE@sri-unix.UUCP Newsgroups: net.lang.prolog Subject: LP Library - Update Message-ID: <1014@sri-arpa.UUCP> Date: Mon, 18-Jun-84 08:06:03 EDT Article-I.D.: sri-arpa.1014 Posted: Mon Jun 18 08:06:03 1984 Date-Received: Thu, 21-Jun-84 04:39:53 EDT Lines: 13 From: Chuck RestivoRichard O'Keefe sent the following utilities to the 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.