Knowledge-Directed Recursive Rule Compilation in Expert Database Systems