Re: Segmentation fault

[Daniel Diaz]

Hi Karel,

Sorry for the late reply.

The source is too large for the compiler. It seems that you pose a set of #\= constraints between all variables of the list Colors.

For this you can use a Prolog loop (writing a predicate receiving the list Colors) or the simply use fd_all_different(Colors).

Daniel

Le 11 juin 2022 à 10:52, Karel Vervaeke <karel@vervaeke.info> a écrit :

The provided prolog script causes gprolog to segfault for me.

I have a couple of similar scripts (with smaller graphs) which run without problem, I'm including one of them.

Usage: gprolog --consult-file solve.pl --query-goal 'solve(C,500)'

I'm running on a mac, gprolog installed with brew.

I hope this is useful to you. Please let me know if you need any other information.

Regards,

Karel

<solve.pl><solve_working.pl>