Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utcs!mnetor!seismo!ut-sally!pyramid!voder!kontron!brad
From: brad@kontron.UUCP
Newsgroups: net.math.symbolic,net.lang.prolog
Subject: Seeking PRESS
Message-ID: <905@kontron.UUCP>
Date: Sun, 13-Jul-86 22:21:19 EDT
Article-I.D.: kontron.905
Posted: Sun Jul 13 22:21:19 1986
Date-Received: Mon, 14-Jul-86 07:26:17 EDT
Distribution: net
Organization: Kontron Electronics, Mt. View, CA
Lines: 12
Xref: utcs net.math.symbolic:151 net.lang.prolog:803

I am intrigued by B. Silver's recent book, Meta Level Inference,
describing the PRESS (PRolog Equation Solving System) and LP
(Learning PRESS) systems.

Are either of these distributed, hopefully at a cost within the
means of an individual?  I have no Prolog system available, but
am interested in reading examples both of equation solving
systems and of non-trivial Prolog programs.

Brad Yearwood
Kontron Electronics {voder, pyramid}!kontron
Mountain View, Calif.