Kauê Hunnicutt Bazilli
Kauê Hunnicutt Bazilli
Adds a simple check for the size of the heap that is done every once in a while, as described in #2294. I haven't implemented the cli argument yet, but...
This is something that I stumbled on while trying to put `if__/3` from #2260 in a module. Basically, if you have a non-terminal that calls another non terminal as it's...
Not sure if this is the right place to put this but I couldn't find an issue tracker for the [documentation site](https://www.scryer.pl/). I've been learning Prolog for the past months...
Continued from #2020. Predicates such as `(
I wish there was a way to force `library(clpz)` to fail instead of throwing type errors in queries like this: ``` ?- A in 0..10, A = []. error(type_error(integer,[]),unknown([])-1). ```...
This is not a feature request, as it's [already being](https://github.com/mthom/scryer-prolog/issues/2024#issuecomment-1728201929) [worked on](https://github.com/mthom/scryer-prolog/pull/2032#issuecomment-1732943667). I just think it's useful to have an issue for something like this so that progress on it...
An use case that I thought about recently is to use `library(clpz)` in monotonic mode internally in a library. The problem is that if you `assertz(clpz:monotonic)` in a library, this...
This PR implements `serde::Serialize` for `Value`, `QueryMatch`, `QueryResolution` and `QueryResolutionLine`, giving them all access to a good JSON serialization. This is built on top of the improved representation and parsing...
I think that if we are going to do things like #2475 (we did, it's merged), that is a breaking change in the Rust library interface, then we should use...
```prolog ?- [user]. '¬'. error(permission_error(create,static_procedure,nameless_procedure),load/1). ?- [user]. % These work '¬'(_). '¬'(_,_). ```