Kauê Hunnicutt Bazilli
Kauê Hunnicutt Bazilli
Currently: ```prolog ?- X is 1 rdiv 2. X = 1 rdiv 2. ?- X is 1 rdiv 2, X = 1 rdiv 2. % Ok, this implies that there...
This completely reworks the library interface, moving in the direction of #2490. This already has `#![deny(missing_docs)]`, but I just did very basic documentation. This isn't intended to be a final...
```prolog ?- [user]. :- use_module(library(lambda)). p. ?- Goal = (X +\ p), call(Goal). error(existence_error(procedure,p/0),p/0). ?- Goal = (X +\ (user:p)), call(Goal). Goal = X+\(user:p). ``` This seems to be the...
This introduces a feature that was discussed quite a bit before (https://github.com/mthom/scryer-prolog/pull/2465#issuecomment-2311231935, https://github.com/mthom/scryer-prolog/discussions/2500#discussioncomment-10436375, https://github.com/mthom/scryer-prolog/issues/2637#issuecomment-2427924784): using a structured `Term` instead of a wobbly string for queries. This makes it easier to...
As a lot of things moved around, I thought making a new PR would be easier than rebasing #2493. This also gives us a clean slate to discuss. The old...
If you mark a predicate as both multifile and discontiguous multiple times (as you would need to do in the case of generated code), the order in which you do...
The `shell/2` predicate always runs its argument in the user's configured shell. This is not always POSIX compliant, because some people use stuff like fish and Nushell. This sets the...
```prolog ?- [user]. sml(Skip,Max,Ls0,Ls) :- '$skip_max_list'(Skip,Max,Ls0,Ls). ?- Ls0 = [1,2|Ls0], sml(S,1,Ls0,Ls). Ls0 = [1,2|Ls0], S = 1, Ls = [2,1|Ls]. ?- Ls0 = [1,2|Ls0], sml(S,2,Ls0,Ls). Ls0 = [1,2|Ls0], S =...