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_at_...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_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.
>
>
> ------------------------------------------------------------------------------
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>