Descrição
Fornece uma mônada de programação lógica com backtracking para Haskell. Ela ajuda o código a expressar computações com várias respostas possíveis, escolha controlada e comportamento de busca justo.
É útil para problemas de busca, motores de regras, pequenas linguagens lógicas e bibliotecas que precisam de computação não determinística. É uma biblioteca de programação e não possui interface independente.