Experimental Haskell implementation of lattice-valued resolution.