ClauseFilter.java

package aima.core.logic.fol.inference.otter;

import java.util.Set;

import aima.core.logic.fol.kb.data.Clause;

/**
 * @author Ciaran O'Reilly
 * 
 */
public interface ClauseFilter {
	Set<Clause> filter(Set<Clause> clauses);
}