RECENT POSTS

Hs-logict

May 26, 2018

Backtracking logic-programming monad

A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper “Backtracking, Interleaving, and Terminating Monad Transformers” [1].

[1] http//okmij.org/ftp/papers/LogicT.pdf

WWW http//code.haskell.org/~dolio/logict