Markus Triska
Markus Triska
Yes please do, thank you a lot!
Prolog execution is usually too complex to follow in the form of traces, even more so if you consider various execution strategies such as SLG resolution. As an alternative, consider thinking...
This is already filed as #304.
As far as I can tell, that's ingenious! It remains valid Prolog syntax, and can also be used as a shell file.
Yes, definitely worth filing! I think the first thing here is to find out whether it indeed does not terminate, or is "only" very slow. I tried it now for...
Yes, it's definitely OK to report and discuss CLP(Z) issues here, there were already several Scryer contributors who helped tremendously with issues and features of this library!
@librarianmage: Regarding the different ways to provide this feature (i.e., one dedicated predicate for each arithmetic comparison, or one more general predicate, or another design variant), do you have any personal...
@librarianmage: Thank you a lot, that's also my favourite variant! Do you think it's possible to find a better name for it? I like the `_t` at the end, but...
Yes, you cannot use a user-defined predicate as the first argument which must be a reifiable arithmetic expression. However, if you want to shorten code, you can easily define relations...
Throwing an exception resets all heap allocations and therefore should return to the same heap state encountered when the query was initiated.