Re: [rules-users] Expert Systems and Functional programming?

OPS83? http://repository.cmu.edu/cgi/viewcontent.cgi?article=2478&context=co... or YES/L1? (seems information on this is out of print and not online either) http://www.amazon.com/dp/B00070YQSU/ref=r_soa_w_d "YES/L1: Integrating expert systems technology with traditional programming languages (Research Report RC. International Business Machines Inc. Research Division)" I definitely find linq interesting, as it's straight out of the research pages from these projects - I wonder if the linq/database propel know about these… The first time I saw it was in this paper "procedural match augments data-driven match" http://www.aaai.org/Papers/AAAI/1986/AAAI86-037.pdf They move the "lhs" logic into the consequence block, using the actual "when" part as a simple goal trigger - allowing the 'lhs' to be used procedurally, like linq. This allows them to control when a rule is evaluated and that it's evaluation is atomic, and can have cleanup work done. Mark On 12 Mar 2013, at 06:04, Wolfgang Laun <wolfgang.laun(a)gmail.com&gt; wrote: > Indeed, this thesis mentions a few features of the system I was > talking about :-) > ([13]) > -W > > On 11/03/2013, Mark Proctor <mproctor(a)codehaus.org&gt; wrote: >> There were a number of research efforts that looked at combining >> procedural >> and rule base programming. >> This one is quite interesting: >> Combining Rule-Based and Procedural Programming in the XC and XE >> Programming >> Lanaugages >> http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.9.1106&rep=r... >> >> Mark >> >> >> On 11 Mar 2013, at 18:03, Wolfgang Laun <wolfgang.laun(a)gmail.com&gt; wrote: >> >>> On 11 March 2013 16:19, Mark Proctor <mproctor(a)codehaus.org&gt; wrote: >>> So thinking really long term here. Can we build a "java layer" that >>> provide all the rule functionality we need - but fit ontop of the java >>> language neatly. We'd probably need to allow "rule" keyword and have it >>> in >>> Classes, at the method level. All class members and methods would be >>> available to the rules in that class. >>> >>> There is this production rule system where you can write your rules >>> embedded in compiling units, and alongside the legacy program units, of >>> a >>> procedural, modular, strongly type HLL, and where you use expressions >>> in >>> the language's own syntax in constraints... >>> >>> We've been using it ever since 1986. Rabbi Akiva was right, wasn't he >>> ;-) >>> >>> -W >>> >>> _______________________________________________ >>> rules-users mailing list >>> rules-users(a)lists.jboss.org >>> https://lists.jboss.org/mailman/listinfo/rules-users >> >> > _______________________________________________ > rules-users mailing list > rules-users(a)lists.jboss.org > https://lists.jboss.org/mailman/listinfo/rules-users _______________________________________________ rules-users mailing list rules-users(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/rules-users