I had tried to take a look at CHR early on in my current project, but
what I realized was that my particular problem wasn't so much handling
constraints as it was creating dynamically adaptive, intelligent
workflows. So I didn't follow up on my initial interests. I'll take
another look at CHR now that I understand the space far better than I
did a couple of years ago. It could well be. But realistically, it
looks like I'll have to find a Prolog system and go through Reiter's
work using it before even attempting to cross the beams and get
creative...
On Nov 4, 2008, at 8:09 AM, Peter Van Weert wrote:
Hal Hildebrand wrote:
Thanks, this is helpful. The main issue I'm going to have with this
is the implicit backward chaining in Prolog... Will have to do a lot
more investigation to see if JESS is even suitable for these
investigations.
Most current Prolog systems (including SICStus, SWI, XSB, YAP, B-
Prolog
and Ciao Prolog) ship with a forward chaining language extension
fairly
similar to Jess called Constraint Handling Rules (CHR) (see for
instance
http://www.cs.kuleuven.be/~dtai/projects/CHR/ ). CHR and Prolog can be
mixed freely, thus obtaining a powerful combination of forward
chaining
CHR rules, and Prolog's backward chaining clauses. Maybe this is
more or
less what you need?
Cheers,
Peter
<Peter_VanWeert.vcf>
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
--------------------------------------------------------------------
