bookmark

logict-0.2.3: A backtracking logic-programming monad.


Description

A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper Backtracking, Interleaving, and Terminating Monad Transformers available here: http://okmij.org/ Control.Monad.Logic.Class

Preview

Tags

Users

  • @draganigajic

Comments and Reviews