001    package aima.logic.fol.inference;
002    
003    import aima.logic.fol.kb.FOLKnowledgeBase;
004    import aima.logic.fol.parsing.ast.Sentence;
005    
006    /**
007     * @author Ciaran O'Reilly
008     * 
009     */
010    public interface InferenceProcedure {
011            /**
012             * 
013             * @param kb
014             *            the knowledge base against which the query is to be made.
015             * @param aQuery
016             *            to be answered.
017             * @return an InferenceResult.
018             */
019            InferenceResult ask(FOLKnowledgeBase kb, Sentence aQuery);
020    }