"Rule-Based Reasoning, Programming, and Applications - RuleML 2011 " - читать интересную книгу автора (Nick Bassiliades, Guido Governatori, Adrian Paschke)