import { Clause } from "../clause";
import { Logical, VarFinder } from "../value";
import { Goal } from "../goal";
import { Ctx } from "../ctx";
export declare class Rule<T> extends Clause<T> {
    data: Logical<T>;
    premises: (v: VarFinder, ctx: Ctx) => Array<Goal>;
    constructor(opts: {
        data: Logical<T>;
        premises: (v: VarFinder, ctx: Ctx) => Array<Goal>;
    });
    static create<T>(opts: {
        data: Logical<T>;
        premises: (v: VarFinder, ctx: Ctx) => Array<Goal>;
    }): Rule<T>;
}