cflp-2009.1.23: Constraint Functional-Logic Programming in Haskell
CFLP.Strategies
(+>) :: (a -> b) -> (b -> c) -> d -> cSource
dfs :: c -> CTC (Monadic (UpdateT (StoreCTC c) [])) aSource
module CFLP.Strategies.DepthFirst
module CFLP.Strategies.CallTimeChoice