Re: [eclipse-clp-users] Error_Handler

From: Edgaonkar, Shrirang <Shrirang.Edgaonkar_at_...390...>
Date: Sat, 28 Nov 2015 07:08:31 +0000
Dear Marco,

  My program does not execute a call(X). So I am not sure why the error. Following is the program that resembles my intentions of the program.

solveError(X):-
Y #:: 1..3,
X #:: 1..10,
goal(X),
member(Y,[1]),
search([X],0,most_constrained,indomain,complete,[]).

goal(X):- (member(X,[1,2,3]);true).


The intention is simple. If all the possible solutions of X via the member function in goal(X) are exhausted, look for more solution through search. Though the program shown over here works fine, my original source code has some issue and it aborts abnormally. Your email surely provided me a direction to find my solution. Hopefully I will fix it.

Thanks for the help.

Cheers,
Shrirang 

________________________________________
From: Marco Gavanelli [marco.gavanelli_at_...17...]
Sent: 27 November 2015 23:21:44
To: eclipse-clp-users_at_lists.sourceforge.net
Subject: Re: [eclipse-clp-users] Error_Handler

Dear Shrirang,

I notice only now that the error you get gives more precise information:
it also says what is the predicate that raises the error: call(_1933).

This means that your program executes call(X), where X is a variable.
You cannot invoke a predicate which is a variable.

Hope this helps.

Marco

On 27/11/15 03:45, Edgaonkar, Shrirang wrote:
> Dear clp users,
>
>
>
>   I have situation where I get one solution for my goal correctly. But on backtracking when there are no more solutions, I get the following call to error_handler and subsequently the program aborts.
>
>
>
>    error_handler(4, call(_1933), eclipse, eclipse)
>
>
>
> What are the possible conditions when I get such a call to error_handler ?
>
>
>
> Thanks and Regards,
>
> Shrirang Edgaonkar
>
>
>
> ______________________________________________________________________
> Disclaimer: This email and any attachments are sent in strictest confidence
> for the sole use of the addressee and may contain legally privileged,
> confidential, and proprietary data. If you are not the intended recipient,
> please advise the sender by replying promptly to this email and then delete
> and destroy this email and any attachments without any further use, copying
> or forwarding.
>
>
>
> ------------------------------------------------------------------------------
>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>


--
Marco Gavanelli
Associate Professor
Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
Tel/Fax  +39-0532-97-4833
http://docente.unife.it/marco.gavanelli

------------------------------------------------------------------------------
_______________________________________________
ECLiPSe-CLP-Users mailing list
ECLiPSe-CLP-Users_at_lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

______________________________________________________________________
Disclaimer: This email and any attachments are sent in strictest confidence
for the sole use of the addressee and may contain legally privileged,
confidential, and proprietary data. If you are not the intended recipient,
please advise the sender by replying promptly to this email and then delete
and destroy this email and any attachments without any further use, copying
or forwarding.
Received on Sat Nov 28 2015 - 07:28:58 CET

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST