[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


From: Bowie Owens
Subject: resource_error(too_big_fd_constraint)
Date: Tue, 4 Sep 2001 10:14:35 +1000

Hi everyone,

I am trying to create some large constraints without introducing temporary

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:

-- Bowie Owens

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]