Jean-Luc-Picard-2021

feature request time/1 and/or statistics/2 predicate

3

Would it be possible to have some time/1 and statistics/2 predicate? Its not listed here: https://github.com/ichiban/prolog/wiki Which is understandable, since the ISO core standard doesn't mention it. But how about...

What would I measure, Prolog with or without garbage collection?

4

Lets say this feature request would be realized: **feature request time/1 and/or statistics/2 predicate** https://github.com/ichiban/prolog/issues/327 What would I measure a Prolog system with or without garbage collection? Is this documented...

multiline block comment not accepted by consult/1 predicate

1

If I use this Prolog text: ``` human(socrates). % This is a fact. mortal(X) :- human(X). % This is a rule. ``` Everything works fine: ``` ?- human(X). X =...

stack overflow during consult/1

2

I don't know exactly where it happens, but it happens: ``` tests$ ~/go/bin/1pl Top level for ichiban/prolog v1.2.1 This is for testing purposes only! See https://github.com/ichiban/prolog for more details. Type...

Is include/1 or ensure_loaded/1 supported?

2

I currently get: ``` $ ~/go/bin/1pl -v Top level for ichiban/prolog v1.2.1 This is for testing purposes only! See https://github.com/ichiban/prolog for more details. Type Ctrl-C or 'halt.' to exit. ?-...

Many Prolog systems implement the semantics that consult, is not relative to the current working directory, except in the case of a top-level request, but rather relative to the file...

While trying to do protobuf syntax with library(dcg/high_order)) it seems there is small glitch in the docu. It says here: ``` Element?, (Sep,Element)* ``` https://www.swi-prolog.org/pldoc/doc_for?object=sequence//3 But what it actually does...

Tail recursion and garbage collection

1

Strange it can allocate one run: ``` $ ulimit -m 2000000 $ ulimit -v 2000000 $ ./tpl -v Trealla Prolog (c) Infradig 2020-2024, v2.55.18 $ ./tpl ?- ['bomb.p']. true ?-...

Does Trealla Prolog detect cyclic lists?

3

Sometimes: ``` ?- X=[a,b|X], length(X, N). throw(error(resource_error(finite_memory),length/2)). ``` But not here: ``` ?- VN = ['U'=X,'V'=Y | VN], write_term(f(X,g(Y,X),Y), [variable_names(VN)]), nl. ^C ``` Also Ctrl-C doesn't work in the above...

Currently GNU Prolog shows me: ``` /* GNU Prolog 1.5.0 */ ?- X is 0.1+0.1+0.1+0.1+0.1+0.1+0.1+0.1. X = 0.79999999999999993 ?- 0.79999999999999993 == 0.7999999999999999. Yes ?- X is 23/10. X = 2.2999999999999998...