in prolog Create a program for the simplification and evaluation of arithmetic expressions. The program, when executed, should prompt the user to enter an arithmetic expression:

$>$ exeval

Enter arithmetic expression: $2$x $+13+$ y $-$ x

The expression should be a linear combination of single letter variables. The program will then simplify the expression:

$>$ exeval

Enter arithmetic expression: $2$x $+13+$ y $-$ x

Simplification: x $+$ y $+13$

and then will ask whether to evaluate the expression. If the answer is $\text{'}$y$\text{'}$ then it will prompt for values for each of the variables and evaluate the expression:

$>$ exeval

Enter arithmetic expression: $2$x $+13+$ y $-$ x

Simplification: x $+$ y $+13$

Evaluate? y

Provide variable values

x : $1$

y : $3$

Expression value: $18$

$***$

Enter arithmetic expression:

then ask for a new expression to evaluate. If the answer is $\text{'}$n$\text{'},$ then it will simply ask for a new expression to evaluate:

$>$ exeval

Enter arithmetic expression: $2$x $+13+$ y $-$ x

Simplification: x $+$ y $+13$

Evaluate? n

$***$

Enter arithmetic expression:

The program will quit with command 'quit' enter at the expression prompt:

$>$ exeval

Enter arithmetic expression: $2$x $+13+$ y $-$ x

Simplification: x $+$ y $+13$

Evaluate? n

$***$

Enter arithmetic expression: quit

Good Bye!