Re: [eclipse-clp-users] Goal failed unexpectedly

Jacky wrote:
> Hello,
> 
>         Sorry to disturb again. When I tried to compile the two largest
> examples, I got the following error. 
> 
>         "Goal failed unexpectedly: current_content(hash(256, 55, [a(160)
> -> 67,
> a(163) -> 70, a(165) -> 423, a(166) -> 73, a(167) -> 74, a(170) -> 434,
> a(172) -> 438, a(175) -> 447, a(176) -> 83, a(179) -> 466, a(182) ->
> 481, a(183) -> 487, a(184) -> 495, a(185) -> 499, a(186) -> 503, a(...)
> -> 511, ... -> ..., ...]), a(4), _901277)"
> 
>         Is this because the programs exceeded the limit that eclipse can
> handle? Anyone knows how to solve the problem? Thanks.

The compiler currently has a limit on the number of temporary variables
in clauses.  But you can normally reformulate your code to make it work.

Usually this happens when you generate the source code automatically,
and then compile it.  It is much easier and more efficient not to generate
code, but to have Eclipse code that accepts problem data and sets up
the constraints directly.

See the hints in
http://sourceforge.net/mailarchive/message.php?msg_id=4B42DDF7.8010002%40infotech.monash.edu.au
or send me your code so i can recommend something.


-- Joachim