Laws@SRI-AI.ARPA (10/26/83)
From: Ken Laws <Laws@SRI-AI.ARPA>
I have been requested to pass on some product availability data to AIList.
I think I can do so without violating Arpanet regulations. I am
uncomfortable about such notices, however, and will generally require
that they pass through at least one "commercially disinterested" person
before being published in AIList. I will perform this screening only
in exceptional cases.
The product is a document on a backward-chaining inference engine
toolkit, including source code in FORTH. The inference engine uses
a production language syntax which allows semantic inference and
access to analytical subroutines written in FORTH. Source code is
included for a forward-chaining tool, but the strategy is not
implemented in the inference routines. The code is available on
disks formatted for a variety of personal computers. For further
details, contact Jack Park, Helion, Inc., Box 445, Brownsville, CA
95919, (916) 675-2478. The toolkit is also available from Mountain
View Press, Box 4656, Mountain View, CA 94040.
-- Ken Laws