001    package aima.logic.fol.inference.otter;
002    
003    import aima.logic.fol.kb.data.Clause;
004    
005    /**
006     * @author Ciaran O'Reilly
007     * 
008     */
009    public interface ClauseSimplifier {
010            Clause simplify(Clause c);
011    }