resource_error(too_big_fd_constraint)

[Bowie Owens]

Hi everyone,

I am trying to create some large constraints without introducing temporary
variables.

The program source is:

curry(Goal, AddArgs, CurriedGoal) :-
        Goal =.. GoalArgs,
        append(GoalArgs, AddArgs, CurriedArgs),
        CurriedGoal =.. CurriedArgs.

reduce_expr([], _, Init, Init).
reduce_expr([X|TL], Op, Init, R) :-
        curry(Op, [X, RTL], R),
        reduce_expr(TL, Op, Init, RTL).


Executing the query:

length(L, 1000),fd_domain(L, 0, 1000),reduce_expr(L, +, 0, X_), X #= X_.

Results in a seg. fault when it should be throwing:
resource_error(too_big_fd_constraint)



-- Bowie Owens

CSIRO Mathematical & Information Sciences
phone : +61 3 9545 8055
email : address@hidden