[Haskell-cafe] Unit propagation

[PatrickM]

How can I create he function propagateUnits by just using this 2 functions
and recursion?
remove :: (Eq a) ->a ->[a] ->[a] 
-This function removes an item from a list.
assignModel :: Model -> Formula -> Formula 
 -This function applies the assign function for all the assignments of a
given model.


-- 
View this message in context: http://haskell.1045720.n5.nabble.com/Unit-propagation-tp3384635p3387910.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.