Re: [eclipse-clp-users] Floundering case

From: Joachim Schimpf <jschimpf_at_coninfer.com>
Date: Fri, 26 Jun 2015 11:23:43 +0100
Dear Shrirang,

judging from your recent correspondence, I cannot help but get the impression
that you are digging yourself into a hole trying to construct ever more
convoluted ways to achieve a probably relatively straightforward goal.

If you really want help with this, then write down for us (and for yourself)
an exact specification of what you want to achieve.  Try to work top-down.
In particular, answer these questions:

- which application problem are you trying to solve? Give an example.

- are you planning to use the standard constraint solving approach,
   i.e. constraint setup followed by search?  If not, you should be
   able to say why, and what control flow you envisage instead.

- what _logical_ meaning do you want your predicates to have?

- which role do you want them to play in the context of a constraint
   solving application (constraint, search, other...), i.e. what
   _operational_ behaviour is required?


All the best,
Joachim



On 26/06/15 01:38, Edgaonkar, Shrirang wrote:
> Dear CLP users,
>
>    I am working on to handle floundering case. Following is the script. Even if
> set the trigger on in my main script the suspension data does not change before
> and after the trigger is pulled.
>
>     %Left function
>     left(STR, Index, STRN):-
>     (var(STR) -> suspend(left(STR, Index, STRN), 0, STR->inst)
>     ; var(STRN),var(Index) -> suspend(left(STR, Index, STRN), 0, trigger(hello),
> S),
>    get_suspension_data(S, priority, P),
>          get_suspension_data(S, goal, G),
>          get_suspension_data(S, module, M),
>          get_suspension_data(S, qualified_goal, QG),
>          get_suspension_data(S, invoc, I),
>          get_suspension_data(S, state, Z), writeln([P, G, M, QG, I, Z])
>     ; writeln("hello111"), substring(STR, 0, Index, _, STRN)).
>
> I am not able to understand why ?
>
> 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.
>
>
> ------------------------------------------------------------------------------
> Monitor 25 network devices or servers for free with OpManager!
> OpManager is web-based network management software that monitors
> network devices and physical & virtual servers, alerts via email & sms
> for fault. Monitor 25 devices for free with no restriction. Download now
> http://ad.doubleclick.net/ddm/clk/292181274;119417398;o
>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
Received on Fri Jun 26 2015 - 10:23:52 CEST

This archive was generated by hypermail 2.2.0 : Tue Jun 30 2015 - 09:13:16 CEST