3 works on record
Processing Declarative Knowledge
A Tight, Practical Integration of Relations and Functions
Rules and Rule Markup Languages for the Semantic Web
