Mark Thom
Mark Thom
`call_with_inference_limit/3` avoids it by bracketing a local inference count around its goal. `time/1` could do something similar but it's tricky.. you don't want to time the inferences made in the...
yes, that's all `Ball` is, a container for a heap term whose references to other heap cells have to be aligned to its absolute position in the heap.
I finally got VS Code working with Scryer in a Windows 11 virtualbox. Looking at it now. `file_exists` does not work on Windows.. or at least, it cannot find .scryerrc....
good thing I wanted to await @aarroyoc's feedback before merging this.
This may be related to issues with `term_variables/3`.
I think it should. Let's wait to see what happens with it after `term_variables/2` is sorted out.
I'm pretty sure `limes/4` can't be found because `if/3` isn't declared as a meta-predicate.
> May I ask why you choose Rust? I consider Rust an oasis in the desert extending from impoverished bare bones C to the absolutely bonkers complexity of "modern" C++....
It will be a good challenge to implement a concurrent WAM that doesn't exact a cost to single-threaded programs. I'm not sure where to start. I have plenty of work...
Why do 2-1 and 3-1 differ in SICStus (they differ in whether the left operand is substituted by `...`)? That makes absolutely no sense to me.