Jean-Luc-Picard-2021
Jean-Luc-Picard-2021
Here you see SWI-Prolog computes another number, the issue is currently discussed in SWI-Prolog forum. They use mqr_get_d instead mqr_get_d_nearest or somesuch is their problem. Also their a varying approachs...
The (^)/2 error is gone, I now find: ``` Trealla Prolog (c) Infradig 2020-2022, v2.7.15 ?- X is 51^10. X = 119042423827613001 ``` And the rest is a printing artefact,...
A solution that doesn't use rbtrees is this here, replicating the basic idea of the term_factorized/3 algorithm: [commons.p.log](https://github.com/SWI-Prolog/swipl-devel/files/11222114/commons.p.log)
> Giving up on algorithms that exploit the total ordering of Prolog terms is not really acceptable. Maybe people are not aware, that @ridgeworks proposal of representation based comparison is...
Its relatively straitght forward to implement naish/2 natively. Follow the following steps: - **Step 1:** Fork your [copy_term/2](https://www.swi-prolog.org/pldoc/doc_for?object=copy_term/2) implementation, that can also copy rational trees. - **Step 2:** Modify it...
But Scryer Prolog is far from perfect. This is also kind of nonsense. The SWI-Prolog output makes more sense: ``` /* SWI-Prolog 9.1.2 */ ?- E = sin(pi/6), R is...
But then I read: In a producer consumer schema, signalling an engine, could mean aborting a producer, in contrast to aborting all consumers. So cancelling futures is frowned upon, wheras...
Ha Ha ChatGPT is trolling me. You can search last_child in Tau Prolog current GitHub, not a single find. ``` https://github.com/tau-prolog/tau-prolog/search?q=last_child ``` Or try this: ``` :- use_module(library(dom)). ?- last_child(foo,...
Also I wonder whether adopting Trealla Prologs convention would make sense: - **sleep/1:** Takes indeed float argument, seconds - **delay/1:** Takes integer argument, milliseconds This would make sleep/1 compatible to...
There is also a snake example, still using set_timeout/3: > **Snake game in Prolog** http://tau-prolog.org/examples/snake And set_timeout/3 is mentioned here: > **Web development with Tau Prolog** José A. Riaza -...