DefaultClauseSimplifier.java

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

import java.util.ArrayList;
import java.util.List;

import aima.core.logic.fol.inference.Demodulation;
import aima.core.logic.fol.inference.otter.ClauseSimplifier;
import aima.core.logic.fol.kb.data.Clause;
import aima.core.logic.fol.parsing.ast.TermEquality;

/**
 * @author Ciaran O'Reilly
 * 
 */
public class DefaultClauseSimplifier implements ClauseSimplifier {

	private Demodulation demodulation = new Demodulation();
	private List<TermEquality> rewrites = new ArrayList<TermEquality>();

	public DefaultClauseSimplifier() {

	}

	public DefaultClauseSimplifier(List<TermEquality> rewrites) {
		this.rewrites.addAll(rewrites);
	}

	//
	// START-ClauseSimplifier
	public Clause simplify(Clause c) {
		Clause simplified = c;

		// Apply each of the rewrite rules to
		// the clause
		for (TermEquality te : rewrites) {
			Clause dc = simplified;
			// Keep applying the rewrite as many times as it
			// can be applied before moving on to the next one.
			while (null != (dc = demodulation.apply(te, dc))) {
				simplified = dc;
			}
		}

		return simplified;
	}

	// END-ClauseSimplifier
	//
}