export declare const goal: {
    $grammar: {
        "goal:apply": ({
            name: string;
            exp?: undefined;
        } | {
            exp: string;
            name?: undefined;
        })[];
        "goal:unify": (string | {
            left: string;
            right?: undefined;
        } | {
            right: string;
            left?: undefined;
        })[];
    };
};
export declare const goals: {
    $grammar: {
        "goals:goals": {
            goals: {
                $ap: string[];
            };
        }[];
    };
};