Jean-Luc-Picard-2021

Low-level error when supplying float to sleep/1

1

There is possibly a type check missing, so as to return a Prolog error ball? Test code, using float seconds instead of integer milliseconds: ``` :- use_module(library(os)). loop(N) :- between(1,N,_),...

This is a nasty one. I get in Tau-Prolog: ``` /* Tau Prolog */ ?- call_cleanup(throw(foo), throw(bar)). uncaught exception: bar ``` But then Trealla and Scryer do the following: ```...

I am using this test case: ``` test2 :- call_cleanup((true;true), (write(cleanup), nl)). test :- test2, test2, write(other), nl, !. ``` SWI-Prolog 9.1.4 gives me (Trealla Prolog 2.9.4 and Scryer Prolog...

I am expecting either small gensyms: ``` /* Trealla, Jekejeke etc.. */ ?- format('foo ~w bar ~w baz', [p(A,B),q(B,C)]), nl. foo p(_0, _1) bar q(_1, _2) baz ``` Or large...

format/2 doesn't work as expected

1

I get the following result in Tau Prolog Sandbox version 0.3.4 (beta): ``` ?- format("You are ~a so beautiful ~2f", ['Hello', 123.0]). true You are Hello so beautiful 123.00000000000000000000 ```...

DOM API: How get last child efficiently?

1

I find this DOM API: ``` parent_of( +htmlObject, ?htmlObject ) parent_of( ?htmlObject, +htmlObject ) http://tau-prolog.org/documentation/prolog/dom/parent_of/2 ``` But I guess the mode (-,+) doesn't provide an efficient way to get the...

I guess random/3 always generates zero, for a large M: ``` /* Ciao 1.22.0 */ ?- M is (1

Rounding glitch from bigint to float

1

SWI-Prolog has released a new release 8.5.20 with better float rounding. Comparing we found: ``` /* SWI-Prolog 8.5.20 Ok */ ?- X is float(166153499473114502559719956244594689). X = 1.6615349947311452e+35. /* Ciao Prolog...

Strange tendency to turn the Drinker Paradox into a Russell Paradox

1

Was using Exy as a shorthand for set membership x e y. Was looking at this proof: ∃x(Exy → ∀zEzy) is valid. https://www.umsu.de/trees/#~7x%28Exy~5~6zEzy%29 In step 3 it shows Eyy. Could...

Feature request: persistency aka monotonic accessibility checkbox

5

I wanted to experiment with a certain Kripke semantics for intuitionistic logic. But I am missing a check box to choose a persistency condtion for the accessibility relation. This would...