1
$\begingroup$

There is this talk http://andrewcropper.com/pubs/jelia19-typed.pdf about higher order Prolog, about use of higher-order predicates (that takes other predicates as arguments) and compositionality of predicates. All that is about Prolog and backward chaining inference.

My question is: do business rules (Drools, ILOG), production rules and Rete algorithm support higher order business rules. Simple business rule is:

if x=5, then y=6 

Higher order business rule may be (as I understand, please, correct me, if I am wrong)

if rule P fired then rule R comes into force

This seems to be quite applied question (more appropriate for stackoverflow), but I am asking this about the possibility of higher order expressivity for production rules and about possibility of Rete algorithm for handling such extensions? Maybe other algorithm is necessary?

I also remember that there was extensive PhdThesis about formal semantics (especially about Hoare logic) for IBM ILOG JRules - that would be great reference here - but I can not find to add it here. If I could gind, I would have added it here to show that business rules/production rules are quite interesting from the computer science (not only programming) point of view as well. And that there are challening issues.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.