[Haskell-cafe] Haskell procedure

2011-02-03 Thread Houdini
One :Thank you Carsten Schultz,Daniel Fischer,Mihai and all the other for your help. Two:After my last post I wrote some function that should help me in the future,but I need some help with the followint as I'm tired and have to fit in a schedule.I know it is long so I'll try and explain it as

Re: [Haskell-cafe] Haskell Functions

2011-02-03 Thread Houdini
A project...this are my last questions,I'm not proeficient in haskell...this explains why Im stuck... http://pastebin.com/GxQBh3hx -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-Functions-tp3369769p3369938.html Sent from the Haskell - Haskell-Cafe mailing list

Re: [Haskell-cafe] Haskell function help

2011-02-02 Thread Houdini
*can't -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3368001.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Haskell function help

2011-02-02 Thread Houdini
I didn't write it like that...because since I'm using the dot notation I can specify aguments for the function...I rectified that...sorry I forgot to mention -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3368000.html Sent from the Haskell

[Haskell-cafe] Haskell DPLL

2011-02-02 Thread Houdini
One :Thank you Carsten Schultz,Daniel Fischer and all the other for your help. Two:After my last post I wrote some function that should help me in the future,but I need some help with the followint as I'm tired and have to fit in a schedule.I know it is long so I'll try and explain it as short

Re: [Haskell-cafe] Haskell DPLL

2011-02-02 Thread Houdini
I didn't upload the code for the funtion I wrote because of the space...I ca do so If you require. -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-DPLL-tp3368123p3368130.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

[Haskell-cafe] Haskell function help

2011-02-01 Thread Houdini
I have a Question about haskell 1. is a something more complicated and I need some help with it if possible.. In order to check the satisfiability of a formula in a given model we propagate the effects of assigning a truth value to an atom in a formula. Assume an atom to which we assign the

Re: [Haskell-cafe] Haskell function help

2011-02-01 Thread Houdini
it's atoms = atomsClause.concat -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3366134.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Haskell function help

2011-02-01 Thread Houdini
thank you for the reply -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3366135.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Haskell function help

2011-02-01 Thread Houdini
that is really.complicated...hmm -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3366154.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Haskell function help

2011-02-01 Thread Houdini
How about this...? assign :: (Atom,Bool) - Formula - Formula assign (a,b) = map . (map f) where f (x,b) = (x,(x==a)b) -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-function-help-tp3365994p3366965.html Sent from the Haskell - Haskell-Cafe mailing list archive

Re: [Haskell-cafe] Haskell WalkSat algorithm implementation

2011-01-31 Thread Houdini
thank you -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-WalkSat-algorithm-implementation-tp3365064p3365124.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ___ Haskell-Cafe mailing list