UnificationEngine.java

package org.archstudio.prolog.engine;

public interface UnificationEngine {

	public boolean unifies(ProofContext proofContext, UnificationContext context);

}