From: Strong datatypes for weak minds.
Subject: forward-chaining, Rete-type, OPS5-like packages available ?
Date: 
Message-ID: <2161@sousa.ltn.dec.com>
	Has there been a summary or news conference of forward-chaining,
	Rete-type, OPS5-like packages that are available in LISP ?

	Something like Forgy's OPS5, only simpler and/or in Scheme ?

	Regards,
	rcs

From: Clinton Hyde
Subject: Re: forward-chaining, Rete-type, OPS5-like packages available ?
Date: 
Message-ID: <CHYDE.92Nov5145933@pecos.ads.com>
I don't know about a summary, but a version of OPS5 is freely
available in Lisp. I've had it for years, and built a reasonably
friendly UI for it on the Xplorer. it runs about 32 rules/sec on an
Exp-1, ~120 rules/sec on an Exp-2, about 200 on an Exp-2+.

it is grossly inefficient, building this humonguous network of stuff
using property-lists (well, the code dates from late 70s, so that's
not too surprising). you'd think that use of more compact structures
of some sort ought to speed things up a bit. I have not tried to
dissect the code enough to make this kind of change. 

be happy to supply all of the above, including the NASA benchmarks
code (some mid-80s examples, including the famous monkeys&bananas).

it runs about 200k, or thereabouts.

 -- clint
--

Clint Hyde		"Give me a LispM or give me death!" -- anonymous

Advanced Decision Systems/BAH	Internet:  ·····@chesapeake.ads.com
1953 Gallows Rd, Suite 600
Vienna, VA  22182-3934		(703) 902-7130
From: Liz Allen
Subject: Re: forward-chaining, Rete-type, OPS5-like packages available ?
Date: 
Message-ID: <1992Nov13.004950.24955@grian.cps.altadena.ca.us>
·······@kxovax.enet.dec.com (Strong datatypes for weak minds.) writes:

>	Has there been a summary or news conference of forward-chaining,
>	Rete-type, OPS5-like packages that are available in LISP ?

>	Something like Forgy's OPS5, only simpler and/or in Scheme ?

You might want to check out YAPS, a production rule language we sell
which provides rule-based programming.  The syntax is simpler than
OPS5, but YAPS is more powerful in that it provides the YAPS-KB class
which you can include in your CLOS classes.  Then instances of your
classes have their own knowledge bases (facts and rules) attached to
them.  So, you associate with each objects the rules and facts that
pertain to that object.  This turns out to be a good way to modularize
your rules.

If you're interested in YAPS, send me your address, and I'll send you
literature.
-- 
		- Liz Allen	···@grian.cps.altadena.ca.us
				ames!elroy!grian!liz
"God is light; in him there is no darkness at all." -- 1 John 1:5b