In this project, you are to use a powerful Python$-$based parser tool

called Lark to implement a simple parser. Your program should determine whether

a given Prolog program is correct, or whether it contains syntax errors, according

to the simplified BNF grammar given hereafter. Note that, interestingly, it is not

necessary to know the language to implement a parser