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

[Cropper, A. <a.c...@im...>]

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