import { IPrologExpression } from './interfaces/iprolog-expression';
import { ISubstitution } from './interfaces/isubstitution';
export declare function createSubstitution(v?: string | undefined, expr?: IPrologExpression | undefined): ISubstitution;
//# sourceMappingURL=prolog-substitution.d.ts.map