Mark Proctor: Relational Declarative Programming with JBoss Drools. SYNASC 2007: 5