Patrec: A Knowledge-Directed Database for a Diagnostic Expert