choose prolog or haskell tutorial form above menu