[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
resource_error(too_big_fd_constraint)
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
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- resource_error(too_big_fd_constraint),
Bowie Owens <=