I want to know how to implement solvers for systems of inference rules; there must be lots of literature. What do I search for?

(naive search only turns up trivialities)

#FunctionalPrograming #haskell #Proofsearch