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