ERES: Erlang rule processing Engine

Corrado Santoro has written a rule-processing engine library in Erlang, called ERES.

This is an alpha release, but the result is still very promising, and could become an important tool for Erlang development.

ERES is based on the concept of "knowledge base" which can store a set of "facts". The main use of ERES is rule processing. You can implement rules such as: pre-condition --> action as function clauses, where the pre-condition refers to checking the presence of a certain fact in the knowledge base.

For example, if you want to express that "each father is also a male", you can write:

myrule (E, {father, X}) -> eres:assert (E, {male, X}), true.

Asserting a fact like {father, corrado} will result in the automatical creation of the fact {male, corrado} (see the documentation for more detail).

It would be very kind to give the author some feedback. Do not hesitate to drop him a mail.

Related links