eyelet works fine with Trealla #626

josd · 2024-11-13T00:06:08Z

josd
Nov 13, 2024

So happy to see that https://github.com/eyereasoner/eyelet is working fine with Trealla Prolog!

Thank you so much @infradig !!

josd · 2024-11-15T00:17:37Z

josd
Nov 15, 2024
Author

https://x.com/josderoo/status/1857215982433099873

0 replies

josd · 2025-01-17T23:53:56Z

josd
Jan 17, 2025
Author

Still very happy with

$ git clone https://github.com/eyereasoner/eye2 2>/dev/null; cd eye2; ./test
----------------
eye2 v1.6.3
trealla v2.63.11
----------------

ackermann.pl                760 msec OK
acp.pl                       83 msec OK
age.pl                       75 msec OK
bmt.pl                     1350 msec OK
complex.pl                   69 msec OK
control.pl                   73 msec OK
derivative.pl                76 msec OK
dt.pl                      1051 msec OK
easter.pl                    63 msec OK
enigma1225.pl                89 msec OK
equation.pl                  73 msec OK
eulers-identity.pl           79 msec OK
fft.pl                       65 msec OK
fibonacci.pl                 77 msec OK
fourcolor.pl                 68 msec OK
fuse.pl                      65 msec OK
gcc.pl                       68 msec OK
good-cobbler.pl              67 msec OK
gps.pl                       66 msec OK
graph.pl                     64 msec OK
hanoi.pl                     90 msec OK
lee.pl                       71 msec OK
matrix.pl                    77 msec OK
mi.pl                        67 msec OK
multi-agent.pl               66 msec OK
padovan.pl                   78 msec OK
peano.pl                     66 msec OK
pi.pl                       487 msec OK
polygon.pl                   62 msec OK
polynomial.pl                68 msec OK
prime.pl                    102 msec OK
queens.pl                   112 msec OK
sdcoding.pl                  65 msec OK
socrates.pl                  64 msec OK
sudoku.pl                   899 msec OK
tak.pl                     1399 msec OK
turing.pl                    65 msec OK
workplace-benchmark.pl     2847 msec OK
workplace.pl                 63 msec OK
zebra.pl                     89 msec OK

11 sec 40 OK 0 FAILED

0 replies

infradig · 2025-01-20T01:08:17Z

infradig
Jan 20, 2025
Maintainer

I wish my eyes v2 worked so well.

16 replies

pmoura Jan 20, 2025

More efficient:

my_dynamic(F/N) :-
	functor(T, F, N),
	assertz(T),
	retractall(T).

josd Jan 20, 2025
Author

Perfect, you are a wizard @pmoura 🧙
It works fine as I copied it in https://github.com/eyereasoner/eye2/blob/6cdabbe1130439a1b199ab038f705bc189d782b3/eye2.pl#L183-L186

infradig Jan 20, 2025
Maintainer

Any thoughts on mthom/scryer-prolog#2779 Paulo? I realize you may be reluctant to contribute over there.

pmoura Jan 21, 2025

Most systems output 1. CxProlog and SICStus Prolog output 1.0 (likely Quintus Prolog as well). There are two possible interpretations for that query:

~Nf requires a float to be printed, independently of the number of digits.
~Nf requires N digits to be printed (implying that N = 0 means printing only the integer part).

It's a corner case that's best avoided. Consider also:

$ sicstus
SICStus 4.9.0 (x86_64-darwin-21.6.0): Fri Dec 15 11:09:06 CET 2023
Licensed to Paulo Moura
% consulting /Users/pmoura/.sicstusrc...
% consulted /Users/pmoura/.sicstusrc in module user, 5 msec 50272 bytes
| ?- format('~0f', [1.5]).
2.0
yes

SICStus Prolog documentation doesn't make any explicit reference to rounding, however:

‘~Nf’
‘~NF’
(Print float in fixed-point notation.) The argument is a float, which will be printed in fixed-point notation with N digits after the decimal point. N may be zero, or negative, in which case a single zero appears after the decimal point. At least one digit appears before the decimal point and at least one after it. N defaults to 6.

The magnitude of N must be less than 100000, but useful values are much smaller than that.

infradig Jan 21, 2025
Maintainer

Thanks for your input. To be honest I find that whole '0 really means 1 (with rounding)' kind of weird, something Prolog does not need. The defacto results of most Prologs seems natural.

infradig · 2025-01-20T21:34:50Z

infradig
Jan 20, 2025
Maintainer

Well a string is not the same as an atom, though at times they may look similar. SWI further conflates the distinction.

4 replies

josd Jan 20, 2025
Author

Yes, but it should also work for double quoted strings in trealla and the following simple example works fine in trealla

$ cat etc/temp.pl
'http://www.w3.org/2000/01/rdf-schema#label'('urn:example:airroutes:AIRLINE_543', "Air Bangladesh").

% query
true :+ 'http://www.w3.org/2000/01/rdf-schema#label'(_, "Air Bangladesh").

$ tpl -g main eye2.pl etc/temp.pl
:- op(1200, xfx, :+).

answer('http://www.w3.org/2000/01/rdf-schema#label'('urn:example:airroutes:AIRLINE_543',['A',i,r,' ','B',a,n,g,l,a,d,e,s,h])).

% proof steps
step((true:+'http://www.w3.org/2000/01/rdf-schema#label'(A,['A',i,r,' ','B',a,n,g,l,a,d,e,s,h])),'http://www.w3.org/2000/01/rdf-schema#label'('urn:example:airroutes:AIRLINE_543',['A',i,r,' ','B',a,n,g,l,a,d,e,s,h]),true).

josd Jan 21, 2025
Author

Well a string is not the same as an atom, though at times they may look similar. SWI further conflates the distinction.

Yes but the path-discovery case (using double quoted strings) works perfectly fine with scryer (be it slow) whereas trealla gives no answers nor proof steps

cd /tmp
git clone https://github.com/eyereasoner/eye2
cd eye2
git checkout tags/v1.7.14
time scryer-prolog -g main eye2.pl etc/path-discovery.pl | wc -l
240

real    0m57.274s
user    0m52.956s
sys     0m3.301s

and is same result as

time swipl -g main eye2.pl etc/path-discovery.pl | wc -l
240

real    0m4.188s
user    0m4.149s
sys     0m0.051s

pmoura Jan 21, 2025

I assume you ensured that the same value of the double_quotes flag is used with all the Prolog systems?

josd Jan 22, 2025
Author

https://github.com/eyereasoner/eye2/commit/afe1e2af059b4ce834a7d85c3766b7059bff2bd7 makes no difference

infradig · 2025-01-22T00:17:57Z

infradig
Jan 22, 2025
Maintainer

I get the same result with branch main as tags/v1.7.14 using Trealla. That is, neither one works as intended. I thought you said main should work?

EDIT: main seems to have double-quotes.

0 replies

infradig · 2025-01-22T00:21:14Z

infradig
Jan 22, 2025
Maintainer

Ok, I manually edited the double-quotes back to single-quotes and I can see it works. I'll see what I can find.

2 replies

josd Jan 22, 2025
Author

Yes indeed, it works with atoms but there is an issue with double quotation.

josd Jan 22, 2025
Author

atm many more examples and test cases run fine with both trealla and scryer and I feel it will go even better

infradig · 2025-01-22T00:50:48Z

infradig
Jan 22, 2025
Maintainer

Well the problem is here...

[0:user:3132:f7:fp8:cp4:sp41:hp158:tp6] CALL 'http://www.w3.org/2000/01/rdf-schema#label'(_33,['M',a,n,c,h,e,s,t,e,r,-,'B',o,s,t,o,n,' ','R',e,g,i,o,n,a,l,' ','A',i,r,p,o,r,t])
[0:user:3134:f7:fp8:cp4:sp41:hp158:tp6] FAIL 'http://www.w3.org/2000/01/rdf-schema#label'(_33,['M',a,n,c,h,e,s,t,e,r,-,'B',o,s,t,o,n,' ','R',e,g,i,o,n,a,l,' ','A',i,r,p,o,r,t])

but when I test that lookup in isolation it works fine.

1 reply

josd Jan 22, 2025
Author

detecting the problem is already half the solution :-)

infradig · 2025-01-22T03:27:29Z

infradig
Jan 22, 2025
Maintainer

Referred to issue #659

0 replies

josd · 2025-01-22T14:34:52Z

josd
Jan 22, 2025
Author

The treally results now look much better https://github.com/eyereasoner/eyelog/tree/main/etc/output-tpl

1 reply

josd Jan 22, 2025
Author

--------------------------------------
running eyelog examples and test cases
using eyelog v1.7.17 and tpl v2.63.28
--------------------------------------

access-control-policy.pl     85 msec OK
ackermann.pl                877 msec OK
age.pl                       74 msec OK
basic-monadic-1.pl           76 msec OK
basic-monadic-10.pl          74 msec OK
basic-monadic-100.pl        103 msec OK
basic-monadic-1000.pl       203 msec OK
basic-monadic-10000.pl     1257 msec OK
collatz-1.pl                 65 msec OK
collatz-10.pl                66 msec OK
collatz-100.pl               69 msec OK
collatz-1000.pl             150 msec OK
collatz-10000.pl           1320 msec OK
combinatorics.pl             70 msec OK
complex.pl                   64 msec OK
control-system.pl            63 msec OK
curly.pl                     66 msec OK
deep-taxonomy-1.pl           69 msec OK
deep-taxonomy-10.pl          66 msec OK
deep-taxonomy-100.pl         77 msec OK
deep-taxonomy-1000.pl       155 msec OK
deep-taxonomy-10000.pl      985 msec OK
derivative.pl                65 msec OK
derived-rule.pl              64 msec OK
diamond-property.pl          64 msec OK
dog.pl                       64 msec OK
easter.pl                    65 msec OK
enigma1225.pl                86 msec OK
equation.pl                  69 msec OK
eulers-identity.pl           64 msec OK
fast-fourier-transform.pl    68 msec OK
fibonacci.pl                 78 msec OK
four-color.pl                65 msec OK
fuse.pl                      63 msec OK
goldbach-1.pl                64 msec OK
goldbach-10.pl               69 msec OK
goldbach-100.pl             115 msec OK
goldbach-1000.pl           1388 msec OK
goldbach-10000.pl           960 msec OK
goldbach.pl                4009 msec OK
good-cobbler.pl              63 msec OK
gps.pl                       64 msec OK
graph.pl                     67 msec OK
gray-code-counter.pl         65 msec OK
hanoi.pl                     89 msec OK
kaprekar.pl                1641 msec OK
lee.pl                       70 msec OK
matrix.pl                    73 msec OK
meta-interpretation.pl       63 msec OK
multi-agent.pl               63 msec OK
n-queens.pl                 113 msec OK
padovan.pl                   76 msec OK
path-discovery.pl          8925 msec OK
peano.pl                     63 msec OK
peasant.pl                  320 msec OK
pi.pl                       492 msec OK
polygon.pl                   63 msec OK
polynomial.pl                68 msec OK
prime.pl                    101 msec OK
proof-by-cases.pl            63 msec OK
proof-by-contradiction.pl    64 msec OK
proof-by-contrapositive.pl   62 msec OK
proof-by-induction.pl        72 msec OK
qiana.pl                     64 msec OK
sieve.pl                    103 msec OK
socrates.pl                  64 msec OK
superdense-coding.pl         65 msec OK
takeuchi.pl                1348 msec OK
turing.pl                    64 msec OK
universal.pl                 63 msec OK
workplace-1.pl               64 msec OK
workplace-10.pl              64 msec OK
workplace-100.pl             76 msec OK
workplace-1000.pl           163 msec OK
workplace-10000.pl         1197 msec OK
zebra.pl                     88 msec OK

31 sec 76 OK 0 FAILED

--------------------------------------
running eyelog examples and test cases
using eyelog v1.7.17 and swipl v9.3.18
--------------------------------------

access-control-policy.pl     99 msec OK
ackermann.pl                373 msec OK
age.pl                       82 msec OK
basic-monadic-1.pl           81 msec OK
basic-monadic-10.pl          80 msec OK
basic-monadic-100.pl         85 msec OK
basic-monadic-1000.pl       108 msec OK
basic-monadic-10000.pl      290 msec OK
collatz-1.pl                 79 msec OK
collatz-10.pl                80 msec OK
collatz-100.pl               85 msec OK
collatz-1000.pl             144 msec OK
collatz-10000.pl            855 msec OK
combinatorics.pl             90 msec OK
complex.pl                   82 msec OK
control-system.pl            79 msec OK
curly.pl                     81 msec OK
deep-taxonomy-1.pl           81 msec OK
deep-taxonomy-10.pl          81 msec OK
deep-taxonomy-100.pl         93 msec OK
deep-taxonomy-1000.pl       147 msec OK
deep-taxonomy-10000.pl      679 msec OK
derivative.pl                90 msec OK
derived-rule.pl              88 msec OK
diamond-property.pl          85 msec OK
dog.pl                       90 msec OK
easter.pl                    90 msec OK
enigma1225.pl                96 msec OK
equation.pl                  90 msec OK
eulers-identity.pl           87 msec OK
fast-fourier-transform.pl    88 msec OK
fibonacci.pl                 93 msec OK
four-color.pl                88 msec OK
fuse.pl                      87 msec OK
goldbach-1.pl                90 msec OK
goldbach-10.pl               90 msec OK
goldbach-100.pl             111 msec OK
goldbach-1000.pl            406 msec OK
goldbach-10000.pl           525 msec OK
goldbach.pl                 970 msec OK
good-cobbler.pl              87 msec OK
gps.pl                       87 msec OK
graph.pl                     87 msec OK
gray-code-counter.pl         88 msec OK
hanoi.pl                     93 msec OK
kaprekar.pl                 612 msec OK
lee.pl                       92 msec OK
matrix.pl                    93 msec OK
meta-interpretation.pl       88 msec OK
multi-agent.pl               91 msec OK
n-queens.pl                 101 msec OK
padovan.pl                   91 msec OK
path-discovery.pl          4618 msec OK
peano.pl                     88 msec OK
peasant.pl                   93 msec OK
pi.pl                       187 msec OK
polygon.pl                   87 msec OK
polynomial.pl                89 msec OK
prime.pl                     97 msec OK
proof-by-cases.pl            90 msec OK
proof-by-contradiction.pl    86 msec OK
proof-by-contrapositive.pl   89 msec OK
proof-by-induction.pl        90 msec OK
qiana.pl                     90 msec OK
sieve.pl                     99 msec OK
socrates.pl                  86 msec OK
superdense-coding.pl         86 msec OK
takeuchi.pl                 445 msec OK
turing.pl                    89 msec OK
universal.pl                 86 msec OK
workplace-1.pl               88 msec OK
workplace-10.pl              86 msec OK
workplace-100.pl             94 msec OK
workplace-1000.pl           156 msec OK
workplace-10000.pl          715 msec OK
zebra.pl                     91 msec OK

17 sec 76 OK 0 FAILED

--------------------------------------
running eyelog examples and test cases
using eyelog v1.7.17 and scryer v0.9.4
--------------------------------------

access-control-policy.pl    110 msec OK
ackermann.pl                710 msec OK
age.pl                      134 msec OK
basic-monadic-1.pl          142 msec OK
basic-monadic-10.pl         115 msec OK
basic-monadic-100.pl        138 msec OK
basic-monadic-1000.pl       443 msec OK
basic-monadic-10000.pl     4279 msec OK
collatz-1.pl                114 msec OK
collatz-10.pl               123 msec OK
collatz-100.pl              152 msec OK
collatz-1000.pl             991 msec OK
collatz-10000.pl          46637 msec OK
combinatorics.pl            182 msec OK
complex.pl                  122 msec OK
control-system.pl           108 msec OK
curly.pl                    113 msec OK
deep-taxonomy-1.pl          114 msec OK
deep-taxonomy-10.pl         110 msec OK
deep-taxonomy-100.pl        126 msec OK
deep-taxonomy-1000.pl       300 msec OK
deep-taxonomy-10000.pl     2851 msec OK
derivative.pl               122 msec OK
derived-rule.pl             107 msec OK
diamond-property.pl         126 msec OK
dog.pl                      108 msec OK
easter.pl                   118 msec OK
enigma1225.pl               220 msec OK
equation.pl                 120 msec OK
eulers-identity.pl          110 msec OK
fast-fourier-transform.pl   116 msec OK
fibonacci.pl                119 msec OK
four-color.pl               111 msec OK
fuse.pl                     107 msec OK
goldbach-1.pl               109 msec OK
goldbach-10.pl              127 msec OK
goldbach-100.pl             286 msec OK
goldbach-1000.pl           5782 msec OK
goldbach-10000.pl          7246 msec OK
goldbach.pl                1018 msec OK
good-cobbler.pl             108 msec OK
gps.pl                      112 msec OK
graph.pl                    118 msec OK
gray-code-counter.pl        112 msec OK
hanoi.pl                    137 msec OK
kaprekar.pl               21672 msec OK
lee.pl                      120 msec OK
matrix.pl                   129 msec OK
meta-interpretation.pl      111 msec OK
multi-agent.pl              112 msec OK
n-queens.pl                 155 msec OK
padovan.pl                  116 msec OK
path-discovery.pl         56687 msec OK
peano.pl                    113 msec OK
peasant.pl                  169 msec OK
pi.pl                       218 msec OK
polygon.pl                  106 msec OK
polynomial.pl               129 msec OK
prime.pl                    127 msec OK
proof-by-cases.pl           115 msec OK
proof-by-contradiction.pl   107 msec OK
proof-by-contrapositive.pl  109 msec OK
proof-by-induction.pl       114 msec OK
qiana.pl                    109 msec OK
sieve.pl                    123 msec OK
socrates.pl                 113 msec OK
superdense-coding.pl        115 msec OK
takeuchi.pl                 942 msec OK
turing.pl                   110 msec OK
universal.pl                110 msec OK
workplace-1.pl              107 msec OK
workplace-10.pl             118 msec OK
workplace-100.pl            205 msec OK
workplace-1000.pl          1206 msec OK
workplace-10000.pl        37889 msec OK
zebra.pl                    133 msec OK

197 sec 76 OK 0 FAILED

infradig · 2025-01-23T00:12:35Z

infradig
Jan 23, 2025
Maintainer

FYI... ~/eye2/etc (main) $ ./test-swipl -------------------------------------- running eyelog examples and test cases using eyelog v1.7.17 and swipl v9.3.18 -------------------------------------- access-control-policy.pl 159 msec OK ackermann.pl 563 msec OK age.pl 160 msec OK basic-monadic-10000.pl 590 msec FAILED basic-monadic-1000.pl 220 msec FAILED basic-monadic-100.pl 167 msec OK basic-monadic-10.pl 242 msec OK ...

…

On Thu, Jan 23, 2025 at 8:44 AM Jos De Roo ***@***.***> wrote: -------------------------------------- running eyelog examples and test cases using eyelog v1.7.17 and tpl v2.63.28 -------------------------------------- access-control-policy.pl 85 msec OKackermann.pl 877 msec OKage.pl 74 msec OKbasic-monadic-1.pl 76 msec OKbasic-monadic-10.pl 74 msec OKbasic-monadic-100.pl 103 msec OKbasic-monadic-1000.pl 203 msec OKbasic-monadic-10000.pl 1257 msec OKcollatz-1.pl 65 msec OKcollatz-10.pl 66 msec OKcollatz-100.pl 69 msec OKcollatz-1000.pl 150 msec OKcollatz-10000.pl 1320 msec OKcombinatorics.pl 70 msec OKcomplex.pl 64 msec OKcontrol-system.pl 63 msec OKcurly.pl 66 msec OKdeep-taxonomy-1.pl 69 msec OKdeep-taxonomy-10.pl 66 msec OKdeep-taxonomy-100.pl 77 msec OKdeep-taxonomy-1000.pl 155 msec OKdeep-taxonomy-10000.pl 985 msec OKderivative.pl 65 msec OKderived-rule.pl 64 msec OKdiamond-property.pl 64 msec OKdog.pl 64 msec OKeaster.pl 65 msec OKenigma1225.pl 86 msec OKequation.pl 69 msec OKeulers-identity.pl 64 msec OKfast-fourier-transform.pl 68 msec OKfibonacci.pl 78 msec OKfour-color.pl 65 msec OKfuse.pl 63 msec OKgoldbach-1.pl 64 msec OKgoldbach-10.pl 69 msec OKgoldbach-100.pl 115 msec OKgoldbach-1000.pl 1388 msec OKgoldbach-10000.pl 960 msec OKgoldbach.pl 4009 msec OKgood-cobbler.pl 63 msec OKgps.pl 64 msec OKgraph.pl 67 msec OKgray-code-counter.pl 65 msec OKhanoi.pl 89 msec OKkaprekar.pl 1641 msec OKlee.pl 70 msec OKmatrix.pl 73 msec OKmeta-interpretation.pl 63 msec OKmulti-agent.pl 63 msec OKn-queens.pl 113 msec OKpadovan.pl 76 msec OKpath-discovery.pl 8925 msec OKpeano.pl 63 msec OKpeasant.pl 320 msec OKpi.pl 492 msec OKpolygon.pl 63 msec OKpolynomial.pl 68 msec OKprime.pl 101 msec OKproof-by-cases.pl 63 msec OKproof-by-contradiction.pl 64 msec OKproof-by-contrapositive.pl 62 msec OKproof-by-induction.pl 72 msec OKqiana.pl 64 msec OKsieve.pl 103 msec OKsocrates.pl 64 msec OKsuperdense-coding.pl 65 msec OKtakeuchi.pl 1348 msec OKturing.pl 64 msec OKuniversal.pl 63 msec OKworkplace-1.pl 64 msec OKworkplace-10.pl 64 msec OKworkplace-100.pl 76 msec OKworkplace-1000.pl 163 msec OKworkplace-10000.pl 1197 msec OKzebra.pl 88 msec OK 31 sec 76 OK 0 FAILED -------------------------------------- running eyelog examples and test cases using eyelog v1.7.17 and swipl v9.3.18 -------------------------------------- access-control-policy.pl 99 msec OKackermann.pl 373 msec OKage.pl 82 msec OKbasic-monadic-1.pl 81 msec OKbasic-monadic-10.pl 80 msec OKbasic-monadic-100.pl 85 msec OKbasic-monadic-1000.pl 108 msec OKbasic-monadic-10000.pl 290 msec OKcollatz-1.pl 79 msec OKcollatz-10.pl 80 msec OKcollatz-100.pl 85 msec OKcollatz-1000.pl 144 msec OKcollatz-10000.pl 855 msec OKcombinatorics.pl 90 msec OKcomplex.pl 82 msec OKcontrol-system.pl 79 msec OKcurly.pl 81 msec OKdeep-taxonomy-1.pl 81 msec OKdeep-taxonomy-10.pl 81 msec OKdeep-taxonomy-100.pl 93 msec OKdeep-taxonomy-1000.pl 147 msec OKdeep-taxonomy-10000.pl 679 msec OKderivative.pl 90 msec OKderived-rule.pl 88 msec OKdiamond-property.pl 85 msec OKdog.pl 90 msec OKeaster.pl 90 msec OKenigma1225.pl 96 msec OKequation.pl 90 msec OKeulers-identity.pl 87 msec OKfast-fourier-transform.pl 88 msec OKfibonacci.pl 93 msec OKfour-color.pl 88 msec OKfuse.pl 87 msec OKgoldbach-1.pl 90 msec OKgoldbach-10.pl 90 msec OKgoldbach-100.pl 111 msec OKgoldbach-1000.pl 406 msec OKgoldbach-10000.pl 525 msec OKgoldbach.pl 970 msec OKgood-cobbler.pl 87 msec OKgps.pl 87 msec OKgraph.pl 87 msec OKgray-code-counter.pl 88 msec OKhanoi.pl 93 msec OKkaprekar.pl 612 msec OKlee.pl 92 msec OKmatrix.pl 93 msec OKmeta-interpretation.pl 88 msec OKmulti-agent.pl 91 msec OKn-queens.pl 101 msec OKpadovan.pl 91 msec OKpath-discovery.pl 4618 msec OKpeano.pl 88 msec OKpeasant.pl 93 msec OKpi.pl 187 msec OKpolygon.pl 87 msec OKpolynomial.pl 89 msec OKprime.pl 97 msec OKproof-by-cases.pl 90 msec OKproof-by-contradiction.pl 86 msec OKproof-by-contrapositive.pl 89 msec OKproof-by-induction.pl 90 msec OKqiana.pl 90 msec OKsieve.pl 99 msec OKsocrates.pl 86 msec OKsuperdense-coding.pl 86 msec OKtakeuchi.pl 445 msec OKturing.pl 89 msec OKuniversal.pl 86 msec OKworkplace-1.pl 88 msec OKworkplace-10.pl 86 msec OKworkplace-100.pl 94 msec OKworkplace-1000.pl 156 msec OKworkplace-10000.pl 715 msec OKzebra.pl 91 msec OK 17 sec 76 OK 0 FAILED -------------------------------------- running eyelog examples and test cases using eyelog v1.7.17 and scryer v0.9.4 -------------------------------------- access-control-policy.pl 110 msec OKackermann.pl 710 msec OKage.pl 134 msec OKbasic-monadic-1.pl 142 msec OKbasic-monadic-10.pl 115 msec OKbasic-monadic-100.pl 138 msec OKbasic-monadic-1000.pl 443 msec OKbasic-monadic-10000.pl 4279 msec OKcollatz-1.pl 114 msec OKcollatz-10.pl 123 msec OKcollatz-100.pl 152 msec OKcollatz-1000.pl 991 msec OKcollatz-10000.pl 46637 msec OKcombinatorics.pl 182 msec OKcomplex.pl 122 msec OKcontrol-system.pl 108 msec OKcurly.pl 113 msec OKdeep-taxonomy-1.pl 114 msec OKdeep-taxonomy-10.pl 110 msec OKdeep-taxonomy-100.pl 126 msec OKdeep-taxonomy-1000.pl 300 msec OKdeep-taxonomy-10000.pl 2851 msec OKderivative.pl 122 msec OKderived-rule.pl 107 msec OKdiamond-property.pl 126 msec OKdog.pl 108 msec OKeaster.pl 118 msec OKenigma1225.pl 220 msec OKequation.pl 120 msec OKeulers-identity.pl 110 msec OKfast-fourier-transform.pl 116 msec OKfibonacci.pl 119 msec OKfour-color.pl 111 msec OKfuse.pl 107 msec OKgoldbach-1.pl 109 msec OKgoldbach-10.pl 127 msec OKgoldbach-100.pl 286 msec OKgoldbach-1000.pl 5782 msec OKgoldbach-10000.pl 7246 msec OKgoldbach.pl 1018 msec OKgood-cobbler.pl 108 msec OKgps.pl 112 msec OKgraph.pl 118 msec OKgray-code-counter.pl 112 msec OKhanoi.pl 137 msec OKkaprekar.pl 21672 msec OKlee.pl 120 msec OKmatrix.pl 129 msec OKmeta-interpretation.pl 111 msec OKmulti-agent.pl 112 msec OKn-queens.pl 155 msec OKpadovan.pl 116 msec OKpath-discovery.pl 56687 msec OKpeano.pl 113 msec OKpeasant.pl 169 msec OKpi.pl 218 msec OKpolygon.pl 106 msec OKpolynomial.pl 129 msec OKprime.pl 127 msec OKproof-by-cases.pl 115 msec OKproof-by-contradiction.pl 107 msec OKproof-by-contrapositive.pl 109 msec OKproof-by-induction.pl 114 msec OKqiana.pl 109 msec OKsieve.pl 123 msec OKsocrates.pl 113 msec OKsuperdense-coding.pl 115 msec OKtakeuchi.pl 942 msec OKturing.pl 110 msec OKuniversal.pl 110 msec OKworkplace-1.pl 107 msec OKworkplace-10.pl 118 msec OKworkplace-100.pl 205 msec OKworkplace-1000.pl 1206 msec OKworkplace-10000.pl 37889 msec OKzebra.pl 133 msec OK 197 sec 76 OK 0 FAILED — Reply to this email directly, view it on GitHub <#626 (reply in thread)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFNKSETJVAIJE3G2TAIU5YL2MANN3AVCNFSM6AAAAABRVHCIIOVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTCOJSGI2TMMA> . You are receiving this because you were mentioned.Message ID: ***@***.***>

0 replies

josd · 2025-01-23T00:17:38Z

josd
Jan 23, 2025
Author

it should now be

git clone https://github.com/eyereasoner/eyelog
cd eyelog/etc
./test-trealla
./test-swipl
./test-scryer

Cloning into 'eyelog'...
remote: Enumerating objects: 2502, done.
remote: Counting objects: 100% (11/11), done.
remote: Compressing objects: 100% (8/8), done.
remote: Total 2502 (delta 4), reused 8 (delta 3), pack-reused 2491 (from 1)
Receiving objects: 100% (2502/2502), 20.08 MiB | 13.44 MiB/s, done.
Resolving deltas: 100% (1743/1743), done.
-----------------------------------------
running eyelog examples and test cases
using eyelog v1.7.17 and trealla v2.63.28
-----------------------------------------

access-control-policy.pl       67 msec OK
ackermann.pl                 1159 msec OK
age.pl                         63 msec OK
basic-monadic-1.pl             63 msec OK
basic-monadic-10.pl            64 msec OK
basic-monadic-100.pl          123 msec OK
basic-monadic-1000.pl         198 msec OK
basic-monadic-10000.pl       1228 msec OK
collatz-1.pl                   62 msec OK
collatz-10.pl                  69 msec OK
collatz-100.pl                 69 msec OK
collatz-1000.pl               168 msec OK
collatz-10000.pl             1437 msec OK
combinatorics.pl               70 msec OK
complex.pl                     70 msec OK
control-system.pl              63 msec OK
curly.pl                       67 msec OK
deep-taxonomy-1.pl             67 msec OK
deep-taxonomy-10.pl            65 msec OK
deep-taxonomy-100.pl           83 msec OK
deep-taxonomy-1000.pl         151 msec OK
deep-taxonomy-10000.pl       1001 msec OK
derivative.pl                  69 msec OK
derived-rule.pl                64 msec OK
diamond-property.pl            65 msec OK
dog.pl                         64 msec OK
easter.pl                      65 msec OK
enigma1225.pl                  85 msec OK
equation.pl                    70 msec OK
eulers-identity.pl             62 msec OK
fast-fourier-transform.pl      68 msec OK
fibonacci.pl                   78 msec OK
four-color.pl                  66 msec OK
fuse.pl                        63 msec OK
goldbach-1.pl                  64 msec OK
goldbach-10.pl                 65 msec OK
goldbach-100.pl               121 msec OK
goldbach-1000.pl             1389 msec OK
goldbach-10000.pl            1973 msec OK
goldbach.pl                  4271 msec OK
good-cobbler.pl                67 msec OK
gps.pl                         71 msec OK
graph.pl                       69 msec OK
gray-code-counter.pl           69 msec OK
hanoi.pl                       94 msec OK
kaprekar.pl                  1796 msec OK
lee.pl                         78 msec OK
matrix.pl                      79 msec OK
meta-interpretation.pl         70 msec OK
multi-agent.pl                 69 msec OK
n-queens.pl                   119 msec OK
padovan.pl                     83 msec OK
path-discovery.pl            9814 msec OK
peano.pl                       63 msec OK
peasant.pl                    318 msec OK
pi.pl                         488 msec OK
polygon.pl                     61 msec OK
polynomial.pl                  70 msec OK
prime.pl                      102 msec OK
proof-by-cases.pl              63 msec OK
proof-by-contradiction.pl      64 msec OK
proof-by-contrapositive.pl     63 msec OK
proof-by-induction.pl          71 msec OK
qiana.pl                       63 msec OK
sieve.pl                      104 msec OK
socrates.pl                    65 msec OK
superdense-coding.pl           64 msec OK
takeuchi.pl                  1376 msec OK
turing.pl                      62 msec OK
universal.pl                   65 msec OK
workplace-1.pl                 65 msec OK
workplace-10.pl                65 msec OK
workplace-100.pl               75 msec OK
workplace-1000.pl             164 msec OK
workplace-10000.pl           1195 msec OK
zebra.pl                       90 msec OK

33 sec 76 OK 0 FAILED
-----------------------------------------
running eyelog examples and test cases
using eyelog v1.7.17 and swipl v9.3.18
-----------------------------------------

access-control-policy.pl       82 msec OK
ackermann.pl                  376 msec OK
age.pl                         80 msec OK
basic-monadic-1.pl             80 msec OK
basic-monadic-10.pl            82 msec OK
basic-monadic-100.pl           83 msec OK
basic-monadic-1000.pl         111 msec OK
basic-monadic-10000.pl        285 msec OK
collatz-1.pl                   83 msec OK
collatz-10.pl                  82 msec OK
collatz-100.pl                 84 msec OK
collatz-1000.pl               141 msec OK
collatz-10000.pl              849 msec OK
combinatorics.pl               88 msec OK
complex.pl                     82 msec OK
control-system.pl              80 msec OK
curly.pl                       80 msec OK
deep-taxonomy-1.pl             81 msec OK
deep-taxonomy-10.pl            86 msec OK
deep-taxonomy-100.pl           87 msec OK
deep-taxonomy-1000.pl         136 msec OK
deep-taxonomy-10000.pl        684 msec OK
derivative.pl                  90 msec OK
derived-rule.pl                87 msec OK
diamond-property.pl            87 msec OK
dog.pl                         92 msec OK
easter.pl                     100 msec OK
enigma1225.pl                 104 msec OK
equation.pl                   110 msec OK
eulers-identity.pl            115 msec OK
fast-fourier-transform.pl     103 msec OK
fibonacci.pl                   91 msec OK
four-color.pl                 102 msec OK
fuse.pl                        91 msec OK
goldbach-1.pl                 103 msec OK
goldbach-10.pl                108 msec OK
goldbach-100.pl               131 msec OK
goldbach-1000.pl              385 msec OK
goldbach-10000.pl             491 msec OK
goldbach.pl                  1012 msec OK
good-cobbler.pl                81 msec OK
gps.pl                        102 msec OK
graph.pl                       82 msec OK
gray-code-counter.pl           85 msec OK
hanoi.pl                       86 msec OK
kaprekar.pl                   585 msec OK
lee.pl                         83 msec OK
matrix.pl                      86 msec OK
meta-interpretation.pl         81 msec OK
multi-agent.pl                 80 msec OK
n-queens.pl                    93 msec OK
padovan.pl                     83 msec OK
path-discovery.pl            4202 msec OK
peano.pl                       84 msec OK
peasant.pl                     82 msec OK
pi.pl                         176 msec OK
polygon.pl                     83 msec OK
polynomial.pl                  83 msec OK
prime.pl                       91 msec OK
proof-by-cases.pl              80 msec OK
proof-by-contradiction.pl      80 msec OK
proof-by-contrapositive.pl     81 msec OK
proof-by-induction.pl          85 msec OK
qiana.pl                       82 msec OK
sieve.pl                       91 msec OK
socrates.pl                    82 msec OK
superdense-coding.pl           79 msec OK
takeuchi.pl                   400 msec OK
turing.pl                      81 msec OK
universal.pl                   84 msec OK
workplace-1.pl                 81 msec OK
workplace-10.pl                80 msec OK
workplace-100.pl               87 msec OK
workplace-1000.pl             146 msec OK
workplace-10000.pl            716 msec OK
zebra.pl                       90 msec OK

17 sec 76 OK 0 FAILED
-----------------------------------------
running eyelog examples and test cases
using eyelog v1.7.17 and scryer v0.9.4
-----------------------------------------

access-control-policy.pl      109 msec OK
ackermann.pl                 1320 msec OK
age.pl                        116 msec OK
basic-monadic-1.pl            119 msec OK
basic-monadic-10.pl           121 msec OK
basic-monadic-100.pl          138 msec OK
basic-monadic-1000.pl         438 msec OK
basic-monadic-10000.pl       3971 msec OK
collatz-1.pl                  109 msec OK
collatz-10.pl                 114 msec OK
collatz-100.pl                151 msec OK
collatz-1000.pl               976 msec OK
collatz-10000.pl            47845 msec OK
combinatorics.pl              173 msec OK
complex.pl                    117 msec OK
control-system.pl             114 msec OK
curly.pl                      116 msec OK
deep-taxonomy-1.pl            109 msec OK
deep-taxonomy-10.pl           115 msec OK
deep-taxonomy-100.pl          125 msec OK
deep-taxonomy-1000.pl         296 msec OK
deep-taxonomy-10000.pl       3147 msec OK
derivative.pl                 116 msec OK
derived-rule.pl               107 msec OK
diamond-property.pl           125 msec OK
dog.pl                        110 msec OK
easter.pl                     117 msec OK
enigma1225.pl                 222 msec OK
equation.pl                   122 msec OK
eulers-identity.pl            111 msec OK
fast-fourier-transform.pl     116 msec OK
fibonacci.pl                  121 msec OK
four-color.pl                 113 msec OK
fuse.pl                       108 msec OK
goldbach-1.pl                 113 msec OK
goldbach-10.pl                122 msec OK
goldbach-100.pl               285 msec OK
goldbach-1000.pl             6045 msec OK
goldbach-10000.pl            7486 msec OK
goldbach.pl                   989 msec OK
good-cobbler.pl               106 msec OK
gps.pl                        111 msec OK
graph.pl                      115 msec OK
gray-code-counter.pl          107 msec OK
hanoi.pl                      121 msec OK
kaprekar.pl                 21763 msec OK
lee.pl                        117 msec OK
matrix.pl                     128 msec OK
meta-interpretation.pl        108 msec OK
multi-agent.pl                110 msec OK
n-queens.pl                   158 msec OK
padovan.pl                    119 msec OK
path-discovery.pl           58752 msec OK
peano.pl                      118 msec OK
peasant.pl                    173 msec OK
pi.pl                         227 msec OK
polygon.pl                    117 msec OK
polynomial.pl                 122 msec OK
prime.pl                      124 msec OK
proof-by-cases.pl             114 msec OK
proof-by-contradiction.pl     109 msec OK
proof-by-contrapositive.pl    114 msec OK
proof-by-induction.pl         109 msec OK
qiana.pl                      113 msec OK
sieve.pl                      124 msec OK
socrates.pl                   109 msec OK
superdense-coding.pl          114 msec OK
takeuchi.pl                   936 msec OK
turing.pl                     112 msec OK
universal.pl                  111 msec OK
workplace-1.pl                107 msec OK
workplace-10.pl               117 msec OK
workplace-100.pl              202 msec OK
workplace-1000.pl            1274 msec OK
workplace-10000.pl          35790 msec OK
zebra.pl                      146 msec OK

199 sec 76 OK 0 FAILED

0 replies

infradig · 2025-01-23T00:28:16Z

infradig
Jan 23, 2025
Maintainer

Still get those 2 failures with swipl.

…

On Thu, Jan 23, 2025 at 10:17 AM Jos De Roo ***@***.***> wrote: it should now be git clone https://github.com/eyereasoner/eyelog cd eyelog/etc ./test-trealla ./test-swipl ./test-scryer Cloning into 'eyelog'... remote: Enumerating objects: 2502, done. remote: Counting objects: 100% (11/11), done. remote: Compressing objects: 100% (8/8), done. remote: Total 2502 (delta 4), reused 8 (delta 3), pack-reused 2491 (from 1) Receiving objects: 100% (2502/2502), 20.08 MiB | 13.44 MiB/s, done. Resolving deltas: 100% (1743/1743), done. ----------------------------------------- running eyelog examples and test cases using eyelog v1.7.17 and trealla v2.63.28 ----------------------------------------- access-control-policy.pl 67 msec OKackermann.pl 1159 msec OKage.pl 63 msec OKbasic-monadic-1.pl 63 msec OKbasic-monadic-10.pl 64 msec OKbasic-monadic-100.pl 123 msec OKbasic-monadic-1000.pl 198 msec OKbasic-monadic-10000.pl 1228 msec OKcollatz-1.pl 62 msec OKcollatz-10.pl 69 msec OKcollatz-100.pl 69 msec OKcollatz-1000.pl 168 msec OKcollatz-10000.pl 1437 msec OKcombinatorics.pl 70 msec OKcomplex.pl 70 msec OKcontrol-system.pl 63 msec OKcurly.pl 67 msec OKdeep-taxonomy-1.pl 67 msec OKdeep-taxonomy-10.pl 65 msec OKdeep-taxonomy-100.pl 83 msec OKdeep-taxonomy-1000.pl 151 msec OKdeep-taxonomy-10000.pl 1001 msec OKderivative.pl 69 msec OKderived-rule.pl 64 msec OKdiamond-property.pl 65 msec OKdog.pl 64 msec OKeaster.pl 65 msec OKenigma1225.pl 85 msec OKequation.pl 70 msec OKeulers-identity.pl 62 msec OKfast-fourier-transform.pl 68 msec OKfibonacci.pl 78 msec OKfour-color.pl 66 msec OKfuse.pl 63 msec OKgoldbach-1.pl 64 msec OKgoldbach-10.pl 65 msec OKgoldbach-100.pl 121 msec OKgoldbach-1000.pl 1389 msec OKgoldbach-10000.pl 1973 msec OKgoldbach.pl 4271 msec OKgood-cobbler.pl 67 msec OKgps.pl 71 msec OKgraph.pl 69 msec OKgray-code-counter.pl 69 msec OKhanoi.pl 94 msec OKkaprekar.pl 1796 msec OKlee.pl 78 msec OKmatrix.pl 79 msec OKmeta-interpretation.pl 70 msec OKmulti-agent.pl 69 msec OKn-queens.pl 119 msec OKpadovan.pl 83 msec OKpath-discovery.pl 9814 msec OKpeano.pl 63 msec OKpeasant.pl 318 msec OKpi.pl 488 msec OKpolygon.pl 61 msec OKpolynomial.pl 70 msec OKprime.pl 102 msec OKproof-by-cases.pl 63 msec OKproof-by-contradiction.pl 64 msec OKproof-by-contrapositive.pl 63 msec OKproof-by-induction.pl 71 msec OKqiana.pl 63 msec OKsieve.pl 104 msec OKsocrates.pl 65 msec OKsuperdense-coding.pl 64 msec OKtakeuchi.pl 1376 msec OKturing.pl 62 msec OKuniversal.pl 65 msec OKworkplace-1.pl 65 msec OKworkplace-10.pl 65 msec OKworkplace-100.pl 75 msec OKworkplace-1000.pl 164 msec OKworkplace-10000.pl 1195 msec OKzebra.pl 90 msec OK 33 sec 76 OK 0 FAILED ----------------------------------------- running eyelog examples and test cases using eyelog v1.7.17 and swipl v9.3.18 ----------------------------------------- access-control-policy.pl 82 msec OKackermann.pl 376 msec OKage.pl 80 msec OKbasic-monadic-1.pl 80 msec OKbasic-monadic-10.pl 82 msec OKbasic-monadic-100.pl 83 msec OKbasic-monadic-1000.pl 111 msec OKbasic-monadic-10000.pl 285 msec OKcollatz-1.pl 83 msec OKcollatz-10.pl 82 msec OKcollatz-100.pl 84 msec OKcollatz-1000.pl 141 msec OKcollatz-10000.pl 849 msec OKcombinatorics.pl 88 msec OKcomplex.pl 82 msec OKcontrol-system.pl 80 msec OKcurly.pl 80 msec OKdeep-taxonomy-1.pl 81 msec OKdeep-taxonomy-10.pl 86 msec OKdeep-taxonomy-100.pl 87 msec OKdeep-taxonomy-1000.pl 136 msec OKdeep-taxonomy-10000.pl 684 msec OKderivative.pl 90 msec OKderived-rule.pl 87 msec OKdiamond-property.pl 87 msec OKdog.pl 92 msec OKeaster.pl 100 msec OKenigma1225.pl 104 msec OKequation.pl 110 msec OKeulers-identity.pl 115 msec OKfast-fourier-transform.pl 103 msec OKfibonacci.pl 91 msec OKfour-color.pl 102 msec OKfuse.pl 91 msec OKgoldbach-1.pl 103 msec OKgoldbach-10.pl 108 msec OKgoldbach-100.pl 131 msec OKgoldbach-1000.pl 385 msec OKgoldbach-10000.pl 491 msec OKgoldbach.pl 1012 msec OKgood-cobbler.pl 81 msec OKgps.pl 102 msec OKgraph.pl 82 msec OKgray-code-counter.pl 85 msec OKhanoi.pl 86 msec OKkaprekar.pl 585 msec OKlee.pl 83 msec OKmatrix.pl 86 msec OKmeta-interpretation.pl 81 msec OKmulti-agent.pl 80 msec OKn-queens.pl 93 msec OKpadovan.pl 83 msec OKpath-discovery.pl 4202 msec OKpeano.pl 84 msec OKpeasant.pl 82 msec OKpi.pl 176 msec OKpolygon.pl 83 msec OKpolynomial.pl 83 msec OKprime.pl 91 msec OKproof-by-cases.pl 80 msec OKproof-by-contradiction.pl 80 msec OKproof-by-contrapositive.pl 81 msec OKproof-by-induction.pl 85 msec OKqiana.pl 82 msec OKsieve.pl 91 msec OKsocrates.pl 82 msec OKsuperdense-coding.pl 79 msec OKtakeuchi.pl 400 msec OKturing.pl 81 msec OKuniversal.pl 84 msec OKworkplace-1.pl 81 msec OKworkplace-10.pl 80 msec OKworkplace-100.pl 87 msec OKworkplace-1000.pl 146 msec OKworkplace-10000.pl 716 msec OKzebra.pl 90 msec OK 17 sec 76 OK 0 FAILED ----------------------------------------- running eyelog examples and test cases using eyelog v1.7.17 and scryer v0.9.4 ----------------------------------------- access-control-policy.pl 109 msec OKackermann.pl 1320 msec OKage.pl 116 msec OKbasic-monadic-1.pl 119 msec OKbasic-monadic-10.pl 121 msec OKbasic-monadic-100.pl 138 msec OKbasic-monadic-1000.pl 438 msec OKbasic-monadic-10000.pl 3971 msec OKcollatz-1.pl 109 msec OKcollatz-10.pl 114 msec OKcollatz-100.pl 151 msec OKcollatz-1000.pl 976 msec OKcollatz-10000.pl 47845 msec OKcombinatorics.pl 173 msec OKcomplex.pl 117 msec OKcontrol-system.pl 114 msec OKcurly.pl 116 msec OKdeep-taxonomy-1.pl 109 msec OKdeep-taxonomy-10.pl 115 msec OKdeep-taxonomy-100.pl 125 msec OKdeep-taxonomy-1000.pl 296 msec OKdeep-taxonomy-10000.pl 3147 msec OKderivative.pl 116 msec OKderived-rule.pl 107 msec OKdiamond-property.pl 125 msec OKdog.pl 110 msec OKeaster.pl 117 msec OKenigma1225.pl 222 msec OKequation.pl 122 msec OKeulers-identity.pl 111 msec OKfast-fourier-transform.pl 116 msec OKfibonacci.pl 121 msec OKfour-color.pl 113 msec OKfuse.pl 108 msec OKgoldbach-1.pl 113 msec OKgoldbach-10.pl 122 msec OKgoldbach-100.pl 285 msec OKgoldbach-1000.pl 6045 msec OKgoldbach-10000.pl 7486 msec OKgoldbach.pl 989 msec OKgood-cobbler.pl 106 msec OKgps.pl 111 msec OKgraph.pl 115 msec OKgray-code-counter.pl 107 msec OKhanoi.pl 121 msec OKkaprekar.pl 21763 msec OKlee.pl 117 msec OKmatrix.pl 128 msec OKmeta-interpretation.pl 108 msec OKmulti-agent.pl 110 msec OKn-queens.pl 158 msec OKpadovan.pl 119 msec OKpath-discovery.pl 58752 msec OKpeano.pl 118 msec OKpeasant.pl 173 msec OKpi.pl 227 msec OKpolygon.pl 117 msec OKpolynomial.pl 122 msec OKprime.pl 124 msec OKproof-by-cases.pl 114 msec OKproof-by-contradiction.pl 109 msec OKproof-by-contrapositive.pl 114 msec OKproof-by-induction.pl 109 msec OKqiana.pl 113 msec OKsieve.pl 124 msec OKsocrates.pl 109 msec OKsuperdense-coding.pl 114 msec OKtakeuchi.pl 936 msec OKturing.pl 112 msec OKuniversal.pl 111 msec OKworkplace-1.pl 107 msec OKworkplace-10.pl 117 msec OKworkplace-100.pl 202 msec OKworkplace-1000.pl 1274 msec OKworkplace-10000.pl 35790 msec OKzebra.pl 146 msec OK 199 sec 76 OK 0 FAILED — Reply to this email directly, view it on GitHub <#626 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFNKSEQFEARBYEEMIZQELBL2MAYLPAVCNFSM6AAAAABRVHCIIOVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTCOJSGMYDINQ> . You are receiving this because you were mentioned.Message ID: ***@***.***>

1 reply

josd Jan 23, 2025
Author

True, it is basically a git diff exhibiting reordered results.

josd · 2025-03-05T10:42:31Z

josd
Mar 5, 2025
Author

Latest trealla test results

------------------------------------------
running eyeprover examples and test cases
using eyeprover line and tpl v2.64.3
------------------------------------------

access-control-policy.pl           62 msec OK
ackermann.pl                     1287 msec OK
age.pl                             60 msec OK
basic-monadic.pl                 1249 msec OK
collatz.pl                        193 msec OK
combinatorics.pl                   69 msec OK
complex.pl                         64 msec OK
conflict-resolution.pl             60 msec OK
control-system.pl                  61 msec OK
curly.pl                           61 msec OK
d3-group.pl                        62 msec OK
deep-taxonomy.pl                 1065 msec OK
deontic-logic.pl                   60 msec OK
derivative.pl                      64 msec OK
derived-rule.pl                    61 msec OK
diamond-property.pl                63 msec OK
dijkstra.pl                        64 msec OK
display-user-details.pl            62 msec OK
dog.pl                             61 msec OK
easter.pl                          63 msec OK
enigma1225.pl                      85 msec OK
equation-solver.pl                 69 msec OK
eulers-identity.pl                 64 msec OK
evolutionary-algorithm.pl         638 msec OK
fallacy-detection.pl               69 msec OK
fast-fourier-transform.pl          71 msec OK
fibonacci.pl                       88 msec OK
flute-puzzle.pl                    70 msec OK
four-color.pl                      66 msec OK
fuse.pl                            63 msec OK
goldbach.pl                      1266 msec OK
good-cobbler.pl                    64 msec OK
gps.pl                             65 msec OK
graph-reachability.pl              63 msec OK
graph.pl                           67 msec OK
gray-code-counter.pl               63 msec OK
hamiltonian-path.pl                66 msec OK
hanoi.pl                           89 msec OK
healthcare-access-control.pl       67 msec OK
kaprekar.pl                       146 msec OK
lee.pl                             73 msec OK
matrix.pl                          72 msec OK
meta-interpretation.pl             67 msec OK
monkey-bananas.pl                  64 msec OK
multi-agent.pl                     70 msec OK
n-queens.pl                       164 msec OK
owl.pl                            110 msec OK
padovan.pl                         79 msec OK
peano.pl                           62 msec OK
peasant.pl                        192 msec OK
perfect-number.pl                1752 msec OK
pi.pl                             501 msec OK
polygon.pl                         66 msec OK
polynomial.pl                      71 msec OK
prime.pl                          103 msec OK
proof-by-cases.pl                  66 msec OK
proof-by-contradiction.pl          64 msec OK
proof-by-contrapositive.pl         62 msec OK
proof-by-induction.pl              68 msec OK
proposition-prover.pl              66 msec OK
qiana.pl                           64 msec OK
rdfs.pl                            81 msec OK
sieve.pl                          110 msec OK
socrates.pl                        63 msec OK
superdense-coding.pl               65 msec OK
takeuchi.pl                      1458 msec OK
turing.pl                          65 msec OK
universal.pl                       63 msec OK
wolf-goat-cabbage.pl              202 msec OK
zebra.pl                           89 msec OK

15 sec 70 OK 0 DIFF

0 replies

josd · 2025-03-05T14:24:12Z

josd
Mar 5, 2025
Author

See also mthom/scryer-prolog#2665 (comment) where trealla is 435 times faster than scryer and 16 times faster than swipl.

0 replies

infradig · 2025-03-05T22:20:47Z

infradig
Mar 5, 2025
Maintainer

What the gist of that test? Most like string handling is my guess.

…

On Thu, 6 Mar 2025, 00:24 Jos De Roo, ***@***.***> wrote: See also mthom/scryer-prolog#2665 (comment) <mthom/scryer-prolog#2665 (comment)> where trealla is 435 times faster than scryer and 16 times faster than swipl. — Reply to this email directly, view it on GitHub <#626 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFNKSEXKBPDWCLXKHGFG7SD2S4CKFAVCNFSM6AAAAABRVHCIIOVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTENBQGIZDOMY> . You are receiving this because you were mentioned.Message ID: ***@***.***>

0 replies

infradig · 2025-03-05T22:43:09Z

infradig
Mar 5, 2025
Maintainer

Ok, seems to be a lot of database work which Scryer (and WAM-based Prolog) is notoriously slow at.

0 replies

josd · 2025-03-05T22:47:07Z

josd
Mar 5, 2025
Author

The purpose of this test is to test the scalability of simple deontic logic rules and the expected result is https://raw.githubusercontent.com/eyereasoner/eyeprover/refs/heads/main/tmp/workplace-benchmark-answer.pl

0 replies

josd · 2025-03-05T22:52:16Z

josd
Mar 5, 2025
Author

Trealla has an incredible performance here!

0 replies

josd · 2025-03-16T21:38:33Z

josd
Mar 16, 2025
Author

The latest results with https://github.com/eyereasoner/arvol/tree/main?tab=readme-ov-file#testing-plexus are fine

git clone https://github.com/eyereasoner/arvol
cd arvol/plexus
git checkout tags/v0.0.17
./test

giving

------------------------------------------
running the plexus examples and test cases
using plexus v0.0.17 and trealla v2.65.20
------------------------------------------

access-control-policy.pl           62 msec OK
ackermann.pl                     1852 msec OK
age.pl                             79 msec OK
basic-monadic.pl                 1927 msec OK
collatz.pl                        248 msec OK
combinatorics.pl                   83 msec OK
complex.pl                         71 msec OK
conflict-resolution.pl             75 msec OK
control-system.pl                  63 msec OK
curly.pl                           61 msec OK
d3-group.pl                        66 msec OK
data-negotiation.pl                65 msec OK
deep-taxonomy-10.pl                63 msec OK
deep-taxonomy-100.pl               75 msec OK
deep-taxonomy-1000.pl             169 msec OK
deep-taxonomy-10000.pl           1263 msec OK
deontic-logic.pl                   63 msec OK
derivative.pl                      66 msec OK
derived-rule.pl                    62 msec OK
diamond-property.pl                66 msec OK
dijkstra.pl                        65 msec OK
display-user-details.pl            65 msec OK
dog.pl                             61 msec OK
easter.pl                          61 msec OK
enigma1225.pl                      79 msec OK
equation-solver.pl                 63 msec OK
eulers-identity.pl                 57 msec OK
evolutionary-algorithm.pl         567 msec OK
fallacy-detection.pl               60 msec OK
fast-fourier-transform.pl          61 msec OK
fibonacci.pl                       72 msec OK
flute-puzzle.pl                    57 msec OK
four-color.pl                      59 msec OK
fuse.pl                            56 msec OK
goldbach.pl                      1156 msec OK
good-cobbler.pl                    62 msec OK
gps.pl                             62 msec OK
graph-reachability.pl              63 msec OK
graph.pl                           64 msec OK
gray-code-counter.pl               65 msec OK
hamiltonian-path.pl                63 msec OK
hanoi.pl                           85 msec OK
healthcare-access-control.pl       64 msec OK
kaprekar.pl                       159 msec OK
lee.pl                             68 msec OK
matrix.pl                          70 msec OK
meta-interpretation.pl             63 msec OK
monkey-bananas.pl                  64 msec OK
multi-agent.pl                     61 msec OK
n-queens.pl                       111 msec OK
owl.pl                             77 msec OK
padovan.pl                         78 msec OK
path-discovery.pl                1400 msec OK
path.pl                            62 msec OK
peano.pl                           64 msec OK
peasant.pl                        314 msec OK
perfect-number.pl                1685 msec OK
pi.pl                             482 msec OK
polygon.pl                         67 msec OK
polynomial.pl                      69 msec OK
prime.pl                           98 msec OK
proof-by-cases.pl                  61 msec OK
proof-by-contradiction.pl          62 msec OK
proof-by-contrapositive.pl         60 msec OK
proof-by-induction.pl              69 msec OK
proposition-prover.pl              62 msec OK
qiana.pl                           61 msec OK
rdfs.pl                            63 msec OK
sieve.pl                          101 msec OK
socrates.pl                        64 msec OK
superdense-coding.pl               62 msec OK
takeuchi.pl                      1418 msec OK
turing.pl                          65 msec OK
universal.pl                       61 msec OK
wolf-goat-cabbage.pl              203 msec OK
workplace.pl                     3586 msec OK
zebra.pl                           95 msec OK

21 sec 77 OK 0 DIFF

0 replies

josd · 2025-03-30T18:12:07Z

josd
Mar 30, 2025
Author

After a few renamings and movings https://github.com/eyereasoner/eyelet?tab=readme-ov-file#testing still runs fine

./test
------------------------------------------
running the eyelet examples and test cases
using eyelet v1.5.0 and trealla v2.69.0
------------------------------------------

access-control-policy.pl           72 msec OK
ackermann.pl                     1072 msec OK
age.pl                             62 msec OK
basic-monadic.pl                 1602 msec OK
collatz.pl                        203 msec OK
combinatorics.pl                   68 msec OK
complex.pl                         65 msec OK
conflict-resolution.pl             62 msec OK
control-system.pl                  59 msec OK
curly.pl                           61 msec OK
d3-group.pl                        61 msec OK
data-negotiation.pl                61 msec OK
deontic-logic.pl                   60 msec OK
derivative.pl                      63 msec OK
derived-rule.pl                    60 msec OK
diamond-property.pl                62 msec OK
dijkstra.pl                        60 msec OK
display-user-details.pl            61 msec OK
dog.pl                             59 msec OK
easter.pl                          61 msec OK
enigma1225.pl                      86 msec OK
equation-solver.pl                 67 msec OK
eulers-identity.pl                 59 msec OK
evolutionary-algorithm.pl         639 msec OK
fast-fourier-transform.pl          60 msec OK
fibonacci.pl                       75 msec OK
flute-puzzle.pl                    60 msec OK
four-color.pl                      62 msec OK
fuse.pl                            58 msec OK
goldbach.pl                      1236 msec OK
good-cobbler.pl                    60 msec OK
gps.pl                             64 msec OK
graph-reachability.pl              60 msec OK
graph.pl                           60 msec OK
gray-code-counter.pl               59 msec OK
hamiltonian-path.pl                61 msec OK
hanoi.pl                           81 msec OK
healthcare-access-control.pl       60 msec OK
kaprekar.pl                       156 msec OK
lee.pl                             68 msec OK
matrix.pl                          68 msec OK
meta-interpretation.pl             62 msec OK
monkey-bananas.pl                  61 msec OK
multi-agent.pl                     61 msec OK
n-queens.pl                       112 msec OK
newton-raphson.pl                  60 msec OK
padovan.pl                         73 msec OK
path-discovery.pl                1199 msec OK
path.pl                            60 msec OK
peano.pl                           60 msec OK
peasant.pl                        313 msec OK
perfect-number.pl                1703 msec OK
pi.pl                             480 msec OK
polygon.pl                         58 msec OK
polynomial.pl                      66 msec OK
prime.pl                           96 msec OK
proof-by-cases.pl                  59 msec OK
proof-by-contradiction.pl          59 msec OK
proof-by-contrapositive.pl         60 msec OK
proof-by-induction.pl              66 msec OK
proposition-prover.pl              62 msec OK
qiana.pl                           58 msec OK
quantum-darwinism.pl               62 msec OK
sieve.pl                           98 msec OK
socrates.pl                        58 msec OK
superdense-coding.pl               60 msec OK
takeuchi.pl                      1436 msec OK
traveling-salesman-problem.pl      68 msec OK
turing.pl                          60 msec OK
universal.pl                       60 msec OK
wolf-goat-cabbage.pl              198 msec OK
workplace.pl                     2864 msec OK
zebra.pl                           84 msec OK

17 sec 73 OK 0 DIFF

0 replies

josd · 2025-05-05T21:48:32Z

josd
May 5, 2025
Author

Looks like it now runs 30% faster

------------------------------------------
running the eyelet examples and test cases
using eyelet v1.5.1 and trealla v2.70.4
------------------------------------------

access-control-policy.pl           65 msec OK
ackermann.pl                      957 msec OK
age.pl                             66 msec OK
basic-monadic.pl                 1586 msec OK
collatz.pl                        173 msec OK
combinatorics.pl                   67 msec OK
complex.pl                         65 msec OK
conflict-resolution.pl             76 msec OK
control-system.pl                  67 msec OK
curly.pl                           69 msec OK
d3-group.pl                        71 msec OK
data-negotiation.pl                64 msec OK
deep-taxonomy.pl                 1005 msec OK
deontic-logic.pl                   65 msec OK
derivative.pl                      65 msec OK
derived-rule.pl                    61 msec OK
diamond-property.pl                65 msec OK
dijkstra.pl                        64 msec OK
display-user-details.pl            64 msec OK
dog.pl                             62 msec OK
easter.pl                          62 msec OK
enigma1225.pl                      88 msec OK
equation-solver.pl                 72 msec OK
eulers-identity.pl                 63 msec OK
evolutionary-algorithm.pl         428 msec OK
fast-fourier-transform.pl          64 msec OK
fibonacci.pl                       71 msec OK
flute-puzzle.pl                    62 msec OK
four-color.pl                      64 msec OK
fuse.pl                            62 msec OK
gdpr-compliance.pl                 65 msec OK
goldbach.pl                       461 msec OK
good-cobbler.pl                    62 msec OK
gps.pl                             64 msec OK
graph-reachability.pl              64 msec OK
graph.pl                           63 msec OK
gray-code-counter.pl               63 msec OK
hamiltonian-path.pl                63 msec OK
hanoi.pl                           77 msec OK
healthcare-access-control.pl       66 msec OK
kaprekar.pl                       153 msec OK
lee.pl                             76 msec OK
matrix.pl                          73 msec OK
meta-interpretation.pl             65 msec OK
monkey-bananas.pl                  84 msec OK
multi-agent.pl                     66 msec OK
n-queens.pl                        98 msec OK
newton-raphson.pl                  66 msec OK
padovan.pl                         72 msec OK
path-discovery.pl                1258 msec OK
path.pl                            65 msec OK
peano.pl                           62 msec OK
peasant.pl                        321 msec OK
perfect-number.pl                 812 msec OK
pi.pl                             189 msec OK
polygon.pl                         67 msec OK
polynomial.pl                      71 msec OK
prime.pl                           82 msec OK
proof-by-cases.pl                  65 msec OK
proof-by-contradiction.pl          62 msec OK
proof-by-contrapositive.pl         62 msec OK
proof-by-induction.pl              66 msec OK
proposition-prover.pl              64 msec OK
qiana.pl                           63 msec OK
quantum-darwinism.pl               67 msec OK
sieve.pl                           85 msec OK
socrates.pl                        61 msec OK
superdense-coding.pl               66 msec OK
takeuchi.pl                      1010 msec OK
traveling-salesman.pl              75 msec OK
turing.pl                          63 msec OK
universal.pl                       63 msec OK
wolf-goat-cabbage.pl              224 msec OK
workplace.pl                     3004 msec OK
zebra.pl                           94 msec OK

16 sec 75 OK 0 DIFF

0 replies

eyelet works fine with Trealla #626

Uh oh!

Uh oh!

josd Nov 13, 2024

Replies: 21 comments · 25 replies

Uh oh!

josd Nov 15, 2024 Author

Uh oh!

josd Jan 17, 2025 Author

Uh oh!

infradig Jan 20, 2025 Maintainer

Uh oh!

pmoura Jan 20, 2025

Uh oh!

josd Jan 20, 2025 Author

Uh oh!

Uh oh!

infradig Jan 20, 2025 Maintainer

Uh oh!

pmoura Jan 21, 2025

Uh oh!

infradig Jan 21, 2025 Maintainer

Uh oh!

infradig Jan 20, 2025 Maintainer

Uh oh!

josd Jan 20, 2025 Author

Uh oh!

josd Jan 21, 2025 Author

Uh oh!

pmoura Jan 21, 2025

Uh oh!

josd Jan 22, 2025 Author

Uh oh!

Uh oh!

infradig Jan 22, 2025 Maintainer

Uh oh!

infradig Jan 22, 2025 Maintainer

Uh oh!

josd Jan 22, 2025 Author

Uh oh!

josd Jan 22, 2025 Author

Uh oh!

infradig Jan 22, 2025 Maintainer

Uh oh!

josd Jan 22, 2025 Author

Uh oh!

infradig Jan 22, 2025 Maintainer

Uh oh!

josd Jan 22, 2025 Author

Uh oh!

josd Jan 22, 2025 Author

Uh oh!

infradig Jan 23, 2025 Maintainer

Uh oh!

Uh oh!

josd Jan 23, 2025 Author

Uh oh!

infradig Jan 23, 2025 Maintainer

Uh oh!

josd Jan 23, 2025 Author

Uh oh!

Uh oh!

josd Mar 5, 2025 Author

Uh oh!

josd Mar 5, 2025 Author

Uh oh!

infradig Mar 5, 2025 Maintainer

Uh oh!

josd
Nov 13, 2024

Replies: 21 comments 25 replies

josd
Nov 15, 2024
Author

josd
Jan 17, 2025
Author

infradig
Jan 20, 2025
Maintainer

josd Jan 20, 2025
Author

infradig Jan 20, 2025
Maintainer

infradig Jan 21, 2025
Maintainer

infradig
Jan 20, 2025
Maintainer

josd Jan 20, 2025
Author

josd Jan 21, 2025
Author

josd Jan 22, 2025
Author

infradig
Jan 22, 2025
Maintainer

infradig
Jan 22, 2025
Maintainer

josd Jan 22, 2025
Author

josd Jan 22, 2025
Author

infradig
Jan 22, 2025
Maintainer

josd Jan 22, 2025
Author

infradig
Jan 22, 2025
Maintainer

josd
Jan 22, 2025
Author

josd Jan 22, 2025
Author

infradig
Jan 23, 2025
Maintainer

josd
Jan 23, 2025
Author

infradig
Jan 23, 2025
Maintainer

josd Jan 23, 2025
Author

josd
Mar 5, 2025
Author

josd
Mar 5, 2025
Author

infradig
Mar 5, 2025
Maintainer