These are the projects for the 4th semester which are implemented in prolog and haskell