On 03/07/13 15:51, Gray Mail wrote:
Hi everyone,Is the general purpose rule engine suitable to infer rules using modal logic ?
The rules engine is a pretty basic datalog style rules engine, with no particular support for things like modal logic. So probably not a good fit.
Dave
