Prover.java

package org.ggp.base.util.prover;

import java.util.Set;

import org.ggp.base.util.gdl.grammar.GdlSentence;

public interface Prover
{
    public abstract Set<GdlSentence> askAll(GdlSentence query, Set<GdlSentence> context);
    public abstract GdlSentence askOne(GdlSentence query, Set<GdlSentence> context);
    public abstract boolean prove(GdlSentence query, Set<GdlSentence> context);
}