David C. Norris comments

Results 16 comments of


                                            David C. Norris

preliminary support for a subset of quads introduced by @UWN

> I think a test would be nice. A PR I'm preparing at this moment uses quads quite extensively, so a test will certainly be forthcoming!

How to add external libraries in my project?

Everything below the line is a *terrible* idea. It's so much better to follow [this advice](https://github.com/mthom/scryer-prolog/discussions/976#discussioncomment-839525). --- I tried creating a symbolic link under `src/lib/` to make my project dir...

More tests should be written as quads

One way to 'normalize' quads might be to rework the basic libraries to use them in documentation. This would also present a good opportunity to exhibit MGQ's wherever possible. Currently,...

rebis-dev: clpz:monotonic is unexpectedly an inadmissible fact

This is preventing me from testing `rebis-dev` in my current work.

select/3 does not consistently use mode indicators in documentation

> I agree with this as long as we are consistent with the notation that we adopt. I also agree with the *spirit* of @hurufu's comment, but to paraphrase [James...

format: ~Nf gives surprising result for floats with negative exponents.

I obtain the desired behavior: ```prolog ?- format("~3f", [1.0e-6]). 0.000 true. ```