scryer-prolog icon indicating copy to clipboard operation
scryer-prolog copied to clipboard

Published 20 hours ago • verified publisher icon mthom

Nesting call_with_inference_limit/3 does not reliably limit the inferences

Open triska opened this issue 1 year ago • 0 comments

An example is given in https://github.com/mthom/scryer-prolog/pull/2534#issuecomment-2335136590.

triska avatar Sep 07 '24 12:09 triska