Use Prolog for this question

Please solve step by step and include a screenshot of code and output.

Thank you so much!

Implement either problem 5 in prolog. The file should include a predicate "expression" for problem 5 and any additional helper axioms if necessary. PROBLEM5 5. Write a grammar that recognizers an arithmetic expression involving only subtraction and addition. The grammar has only six terminal symbols: num . id For example, the grammar should recognize the following tokens num + (id -num + id) GRAMMAR E-> EAE IDI NUMI(E) Example executions of variable definition: expression(loum, +,(, id, -, Dum,, id, )]). return true expressionlloum, id, (, pum,)]) return false Implement either problem 5 in prolog. The file should include a predicate "expression" for problem 5 and any additional helper axioms if necessary. PROBLEM5 5. Write a grammar that recognizers an arithmetic expression involving only subtraction and addition. The grammar has only six terminal symbols: num . id For example, the grammar should recognize the following tokens num + (id -num + id) GRAMMAR E-> EAE IDI NUMI(E) Example executions of variable definition: expression(loum, +,(, id, -, Dum,, id, )]). return true expressionlloum, id, (, pum,)]) return false