Re: [eclipse-clp-users] Error_Handler

From: Edgaonkar, Shrirang <Shrirang.Edgaonkar_at_...390...>
Date: Sun, 29 Nov 2015 01:27:42 +0000
Hi Kish,



  Yes. I am tryng to write a simple code that matches the situation. I am sure sending my whole source code to the group wouldnt be appropriate. Will come back with more details soon.



Thanks for your support.



Regards,

Shrirang Edgaonkar

________________________________
From: Kish Shen [kish.shen@...6...]
Sent: 29 November 2015 09:03:49
To: Edgaonkar, Shrirang
Cc: eclipse-clp-users_at_lists.sourceforge.net
Subject: Re: [eclipse-clp-users] Error_Handler

Hi Shrirang,


>My program does not execute a call(X). So I am not sure why the error.

When reporting a problem, you should give code that will generate the problem you see -- ideally, you should try to give a simple example that will reproduce your error.

I also do not quite understand what you are seeing: what exactly do you mean by there is a call to error_handler/4? Normally you should not see this, and instead you should just see the 'instantiation error' message (which is the default handler for the error).

Cheers,

Kish

On Sat, Nov 28, 2015 at 7:08 AM, Edgaonkar, Shrirang <Shrirang.Edgaonkar@...263....390...<mailto:Shrirang.Edgaonkar@...390...>> wrote:
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@...17...<mailto:marco.gavanelli@...402...7...>]
Sent: 27 November 2015 23:21:44
To: eclipse-clp-users_at_lists.sourceforge.net<mailto:eclipse-clp-users@...309...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<mailto:ECLiPSe-CLP-Users@...403...urceforge.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<tel:%2B39-0532-97-4833>
http://docente.unife.it/marco.gavanelli

------------------------------------------------------------------------------
_______________________________________________
ECLiPSe-CLP-Users mailing list
ECLiPSe-CLP-Users_at_lists.sourceforge.net<mailto:ECLiPSe-CLP-Users@...404...ceforge.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.

------------------------------------------------------------------------------
_______________________________________________
ECLiPSe-CLP-Users mailing list
ECLiPSe-CLP-Users_at_lists.sourceforge.net<mailto:ECLiPSe-CLP-Users@...404...ceforge.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 Sun Nov 29 2015 - 01:27:59 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:30 CEST