001    package aima.logic.fol.inference.trace;
002    
003    import java.util.Set;
004    
005    import aima.logic.fol.inference.InferenceResult;
006    import aima.logic.fol.kb.data.Clause;
007    
008    /**
009     * @author Ciaran O'Reilly
010     * 
011     */
012    public interface FOLTFMResolutionTracer {
013            void stepStartWhile(Set<Clause> clauses, int totalNoClauses,
014                            int totalNoNewCandidateClauses);
015            
016            void stepOuterFor(Clause i);
017    
018            void stepInnerFor(Clause i, Clause j);
019    
020            void stepResolved(Clause iFactor, Clause jFactor, Set<Clause> resolvents);
021    
022            void stepFinished(Set<Clause> clauses, InferenceResult result);
023    }