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 4 in prolog. The file should include a predicate variable_definition for problem 4 land any additional helper axioms if necessary. PROBLEM 4 4. Write a grammar that recognizes a list of variable definition lines. Each line contains a type (either int or char) followed by a list of simple variables (id) separated by comma, and each line ends with a semicolon. The grammar has only four terminal symbols: int id comma semicolon For example, the grammar should recognize the following tokens int id comma id comma id semicolon char id semicolon int id comma id semicolon GRAMMAR: S->SD|D D-> TL; T-> intLchar L-> Lidlid Example executions of variable definition: variable definitionllint, id, comma, id, comma, id, semicolon, char, id.semicolon]). return true variable definition?lint, id, comma, id, comma, id, char, id, semicolon]). return false Implement either problem 4 in prolog. The file should include a predicate variable_definition for problem 4 land any additional helper axioms if necessary. PROBLEM 4 4. Write a grammar that recognizes a list of variable definition lines. Each line contains a type (either int or char) followed by a list of simple variables (id) separated by comma, and each line ends with a semicolon. The grammar has only four terminal symbols: int id comma semicolon For example, the grammar should recognize the following tokens int id comma id comma id semicolon char id semicolon int id comma id semicolon GRAMMAR: S->SD|D D-> TL; T-> intLchar L-> Lidlid Example executions of variable definition: variable definitionllint, id, comma, id, comma, id, semicolon, char, id.semicolon]). return true variable definition?lint, id, comma, id, comma, id, char, id, semicolon]). return false