Basic Prolog interpreter written in Haskell for the Functional programming course in univeristy (FMI at SU)