Haskell WalkSat algorithm implementation

See more:

programming

Haskell

I need some help if possible with the following problem.....The WalkSat algorithm takes a formula, a probability 0 =< p =< 1, and a boundary of maximum flips maxflips
and returns a model that satisfies the formula or failure. The algorithm begins by assigning truth values to
the atoms randomly, ie. generating a random model. Then it proceeds to flip the value of an atom from one
of the unsatisfied clauses until it is able to find a model that satisfies the formula or reaches the maximum
number of flips.
In order to select which atom from the currently selected clause to flip, it follows two strategies:
1. Either flip any atom randomly.
2. Or flip the atom that maximizes the number of satisfied clauses in the formula.
The choice to flip randomly is followed with probability p.
1.atomsClause :: Clause ! [Atom] This function must take a Clause and return the set of Atoms of
that Clause. Note that the set should not contain any duplicates.
2. atoms :: Formula![Atom] This function must take a Formula return the set of Atoms of a Formula.
Note that the set should not contain any duplicates.
3. isLiteral :: Literal ! Clause ! Bool This function returns True if the given Literal can be found
within the Clause.
4. flipSymbol :: Model ! Atom ! Model This function must take a Model and an Atom and flip the
truth value of the atom in the model.

Now I've done the first 3 I need some help with the last one, Here is the code:
module Algorithm where

import System.Random
import Data.Maybe
import Data.List

type Atom = String
type Literal = (Bool,Atom)
type Clause = [Literal]
type Formula = [Clause]
type Model = [(Atom, Bool)]
type Node = (Formula, ([Atom], Model))

atomsClause :: Clause -> [Atom]
atomsClause = nub . map snd

atoms :: Formula -> [Atom]
atoms =atomsClause . concat

isLiteral :: Literal -> Clause -> Bool
isLiteral (b,a) cs = or[x==b && y==a|(x,y)<-cs]

flipSymbol :: Model -> Atom -> Model
flipSymbol = undefined ---the last one

Thank you.