Implementations of Plateau in Haskell and Prolog