Re: [Yap-users] Implement call_with_inference_limit(:Goal, +Limit, -Result)?

[Stefan K. <skr...@gm...>]

Hi Andrew,

I'm looking for exactly the same feature too!

Unlike you, I require a portable solution, as my primary Prolog processor
is SICStus Prolog—not YAP. That being said, let me emphasize that I would
love to see said feature in YAP, too, of course... what else?! Right now, I
cannot offer a working solution, but I can offer perspective:

Let's move this discussion to StackOverflow! It addresses a much larger
audience and encourages cross-fertilization between different Prolog
processors (I hope).

What are your thoughts on this? I'm looking to hearing from you soon!

All the best,
Stefan.

On Jul 27, 2016 11:52, "Cropper, Andrew" <a.c...@im...> wrote:

> Hi all,
>
> I would like to enforce a limit on the number of inferences allowed to
> find a solution for a given goal. This idea is akin to the
> call_with_inference_limit(:Goal, +Limit, -Result) predicate in SWIPL.
>
> I have looked through the YAP documentation and there seems to be no
> obvious way to do this. Has anyone tried to do this before, or know of a
> relatively simple way to implement this?
>
> Thanks,
>
> Andrew
>
> ------------------------------------------------------------------------------
> What NetFlow Analyzer can do for you? Monitors network bandwidth and
> traffic
> patterns at an interface-level. Reveals which users, apps, and protocols
> are
> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
> J-Flow, sFlow and other flows. Make informed decisions using capacity
> planning
> reports.http://sdm.link/zohodev2dev
> _______________________________________________
> Yap-users mailing list
> Yap...@li...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>