Socrates: a logic-based expert system toolkit