Markus Triska

Results 705 comments of Markus Triska

@aarroyoc: Thank you a lot for working on this extremely impressive feature! In order to merge this with minimal chance for conflicts with other PRs and existing ongoing developments in...

Please let me offer my (unsolicited) perspective: I did not downvote this suggestion, because I am glad that people are interested in contributing and have the courage to suggest something....

Since this was last discussed, I think you @jjtolton expressed interest in generating `info` pages that can be browsed with Emacs?

I am closing this issue because `rebis-dev` is now superior to `master`, and I hope it will be merged soon. Thank you a lot!

@hurufu: Please see https://github.com/mthom/scryer-prolog/pull/2746; with this change applied, we can already embed the reported test case **as is** in a Prolog source file. With a future change, the stated answer description will...

Thank you a lot for working on this! I think an important point to state in the documentation is that the predicate must be **public** so that its body can...

You can get a free evaluation licence of SICStus! A predicate that fails can be easily emitted as `Head :- false.`.

Good point, thank you a lot! I posted an implementation proposal in https://github.com/mthom/scryer-prolog/pull/2902/commits/ee6e34bd6749b7fad845bba3a3c3b93d4d6092ee. However, with this change, Scryer crashes on startup. https://github.com/mthom/scryer-prolog/pull/2902/commits/afc3aa253a631d52161640338553c42ce5a3c547 shows how to disable the branch that throws...

Regarding terminology: 3.21 built-in predicate: A procedure whose execution is implemented by the processor (see 8). 8 Built-in predicates A built-in predicate is a procedure which is provided automatically by...