Mark Thom

I believe this is fixed now.

The build now prints an error message if `rustfmt` is not found, thanks @wkral !

Please check the latest changes on master.

This predicate causes several example queries to fail: ``` free_reg(Reg, reggy(FreePool0, References0, V0), reggy(FreePool, References, V)) --> [], { select(Reg, References0, References), ( member(Reg, References) % If reg is still...

It's tricky to do this in Rust. I still don't quite know how to approach it, even though some strides have been made with custom allocators recently.. I thought that...

Looks like there's a pending RFC to allow memory allocation errors to be caught: https://github.com/rust-lang/rust/issues/48043

@matt2xu: > I started looking into it, per [#401 (comment)](https://github.com/mthom/scryer-prolog/issues/401#issuecomment-619933630) > > I downloaded the `thun.pl` from the description and indeed it does not work smile > First problem: the...

> Given that the rule for single line comment already skips any character, I've done the same thing for multiline comments :) OK, that's fine. :+1: > I don't know...

> May I ask what the status of this issue is? I was confused by some version differences across Simon's SWI implementations of Thun and put the port aside to...

This now fails because of the meta-predicate expansions: ``` ?- clause(legs(C,7),Body), Body==(call(user:C),call(user:C)). Body = (call(user:C),call(user:C)). ?- clause(legs(C,7),Body), Body==(call(C),call(C)). false. ``` I can't speak for GNU Prolog but I believe SWI...