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
begin:vcard fn:Peter Van Weert n:Van Weert;Peter org:K.U.Leuven;Computer Science adr:room 01.05;;Celestijnenlaan 200A;Heverlee;;3001;Belgium email;internet:[EMAIL PROTECTED] title:DTAI (Declarative Languages and Artificial Intelligence) tel;work:+32 16 327665 x-mozilla-html:TRUE url:http://www.cs.kuleuven.be/~petervw/ version:2.1 end:vcard
