From: Anshu Shankar Prasad <anshu.sprasad.che10_at_itbhu.ac.in>

Date: Wed, 5 Sep 2012 15:12:52 +0530

Date: Wed, 5 Sep 2012 15:12:52 +0530

:-lib(ic). :-lib(branch_and_bound). solve(N,X):- N2 is N*N, dim(X,[N]), X[1..N] :: 1..N2, Z :: 1..N2, ( for(I,1,N),param(X,N) do (for(J,I,N),param(X,I) do (for(K,J+1,N),param(X,J) do X[K]-X[I]-X[J]#\=0 ) ) ), ( for(I,1,N),param(X,N) do ( for(J,I+1,N),param(X,I) do ( for(K,J,N),param(X,J) do ( for(L,K+1,N),param(X,K) do X[L]+X[I]-X[J]-X[K]#\=0 ) ) ) ), ( for(I,1,N),param(X,N) do ( for(J,I,N),param(X,I) do ( for(K,J,N),param(X,J) do ( for(L,K+1,N),param(X,K) do X[L]+X[I]-X[J]-X[K]#\=0 ) ) ) ), ( for(I,1,N), param(X,N) do X[I]#> 0, X[I+1]#> X[I], X[N]#< N2 ), Z#=X[N], X =.. [_|Vars], minimize(labeling(Vars),Z), writeln('value of Z':Z),nl. The program written above compile with no error but when I run this program and give the value of N it says "instantiation error".Please help me in this.Reply me as soon as possible.Received on Wed Sep 05 2012 - 10:07:15 CEST

*
This archive was generated by hypermail 2.2.0
: Thu Sep 06 2012 - 06:18:21 CEST
*