import { IImmutableSet } from 'thaw-common-utilities.ts';
import { LanguageSelector } from 'thaw-interpreter-types';
import { IPrologExpression } from './interfaces/iprolog-expression';
import { IPrologNumber } from './interfaces/iprolog-number';
import { IPrologVariable } from './interfaces/ivariable';
export declare abstract class PrologNameExpression {
    readonly gs: LanguageSelector;
    readonly Name: string;
    readonly ExpressionList: IPrologExpression[];
    constructor(gs: LanguageSelector, name: string, expressionList?: IPrologExpression[] | undefined);
    toString(): string;
    FindBindingVariables(): IImmutableSet<IPrologVariable>;
    GetListOfBindingVariables(): IPrologVariable[];
    ContainsVariable(v: IPrologVariable): boolean;
    get IsGround(): boolean;
    abstract EvaluateToNumber(): IPrologNumber | undefined;
}
//# sourceMappingURL=prolog-name-expression.d.ts.map