Adds prolog lab4 and completed haskell f4