Markus Triska
Markus Triska
Could you please take a look at https://github.com/triska/scryer-prolog/commit/d9a7305f72981c7261eef5827c1123f4fd172948 and see if it solves your issue? With this patch, I get: ?- format("~3f", [1.0e-6]). 0.000 true.
I have one elementary question about this: Why must these horrific considerations be made at all: I interpret what Rust's `to_string()` does as "the shortest possible string representation within one...
I have started a topic to discuss this in: https://github.com/mthom/scryer-prolog/discussions/2805
@tmerr: Could you please try it with the current `master`? Thank you a lot!
Yes, good catch, I have already edited the original suggestion to suggest **`predicate_property/2`** instead, because `current_predicate/1` cannot be used for the reason you mention, thank you for spotting this!
Excellent additional example for the usefulness of unbounded arity, thank you a lot! You may be able to work around it "manually", with a dedicated term lets you chain additional...
Please compare this with #3125!
Not at all, this may still be useful for comparisons. For instance, to count the number of strings with length `N` that form a valid integer, and compare the two...
@jjtolton, @bakaq: We unexpectedly went from a what in the administration is called a **positive competence conflict** (two parties independently seeing themselves as responsible) to a **negative competence conflict** (no...
Note that the main issue is *not* whether to perform goal expansion at all, or which terms should be subject to goal or term expansion. As I see it, the...