export function createSubstitution(
    v: string | undefined = undefined,
    expr: IPrologExpression | undefined = undefined // To conveniently make a substitution with a single entry.
): ISubstitution {
    return new PrologSubstitution(v, expr);