import { GoalQueue } from "../goal-queue";
import { Subst } from "../subst";
export declare abstract class Goal {
    abstract evaluate(subst: Subst): Array<GoalQueue>;
}