bug-prolog
[Top][All Lists]
Advanced

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

uncaught exception: error(resource_error(too_big_fd_constraint), # /2)


From: Ujjwal Guin
Subject: uncaught exception: error(resource_error(too_big_fd_constraint), # /2)
Date: Mon, 13 Feb 2012 12:00:12 -0500

Hello,

My name is Ujjwal Guin, a doctoral student of University of
Connecticut. Currently, I am trying to run a prolog program on the
university server (Linux). The program is very small and quite simple.
If I run the same program in my Windows (BProlog), I am getting the
proper result. I am mentioning the program below.

solve(Vars):-
Vars=[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,B0,B1,B2,B3,B4,B5,B6,B7,B8,B9,B10,B11,B12],
fd_domain_bool(Vars),
B6##B3##B2##B1##B0##A5##A2##A1##A0#=1,
B4##B1##B0##A3##A0#=1,
B9##B6##B5##B3##B12##B10##A9##A7##A6##A5##A4##A3##A2##A11##A10#=1,
B9##B7##B6##B3##B2##B0##A8##A7##A6##A4##A3##A2##A1##A0#=0,
B7##B5##B4##B1##B0##A6##A5##A4##A2##A1##A0#=1,
B6##B4##B3##B0##A5##A4##A3##A1##A0#=1,
B8##B6##B2##B11##A9##A7##A6##A2##A12##A11##A0#=0,
B7##B5##B10##B1##A8##A6##A5##A11##A10##A1#=0,
B7##B4##B2##A8##A7##A5##A3##A2#=1,
B4##B1##A5##A4##A2##A0#=0,
fd_labeling(Vars).

I will really appreciate your help to execute the program..

Thank you very much.

Regards
Ujjwal Guin



reply via email to

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