Description
Provides a backtracking logic-programming monad for Haskell. It helps code express computations with multiple possible answers, controlled choice, and fair search behavior.
This is useful for search problems, rule engines, small logic languages, and libraries that need nondeterministic computation. It is a programming library and has no standalone interface.