import { Goal } from "../goal";
import { GoalQueue } from "../goal-queue";
import { Logical } from "../value";
import { Subst } from "../subst";
export declare class NotUnifiable<T> extends Goal {
    left: Logical<T>;
    right: Logical<T>;
    constructor(left: Logical<T>, right: Logical<T>);
    static create<T>(left: Logical<T>, right: Logical<T>): NotUnifiable<T>;
    evaluate(subst: Subst): Array<GoalQueue>;
}