Perkun. The Haskell generators.

Try using in Perkun (http://sourceforge.net/projects/perkun/) the instruction "cout << haskell generator << eol;". For example:

values
{
value false;
value true;
value place_Wyzima;
value place_Novigrad;
value place_Shadizar;
value do_nothing;
value attack_vampire;
}
variables
{
input variable do_I_see_vampire:{false,true};
input variable where_am_I:{place_Wyzima,place_Novigrad,place_Shadizar};
hidden variable where_is_vampire:{place_Wyzima,place_Novigrad,place_Shadizar};
output variable action:{do_nothing,attack_vampire};
}
payoff
{
}
model
{
}
cout << haskell generator << eol;

It will print out a Haskell code generating the model. The idea is similar like the Prolog generators described previously. You may enhance the generated code to create actual model.