Toy Haskell Logic System