eyelet works fine with Scryer Prolog

[josd]

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

Thank you so much @mthom @triska !!

[jjtolton]

This seems really cool but the documentation for eye3 is a little terse beyond "A reasoner using Webized ISO Prolog". I'd love to know more!

[josd]

Meanwhile see https://github.com/eyereasoner/eye/blob/master/documentation/forward_or_backward.md and we try to make things as comprehensive as possible with the examples and test cases in https://github.com/eyereasoner/eyewip/tree/main/input

[josd]

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

[josd]

After adding premise hash to answer and step the overal test performance is about 6.8 times better! (from 408 sec to 60 sec)

[josd]

Just replacing the hash as follows

diff --git a/eyewip.pl b/eyewip.pl
index b181342..c2c1705 100644
--- a/eyewip.pl
+++ b/eyewip.pl
@@ -4,6 +4,7 @@

 :- use_module(library(between)).
 :- use_module(library(charsio)).
+:- use_module(library(crypto)).
 :- use_module(library(format)).
 :- use_module(library(iso_ext)).
 :- use_module(library(lists)).
@@ -222,7 +223,7 @@ dynify(A) :-
 % convert term to hash using a simple checksum
 term_hash(Term, Hash) :-
     write_term_to_chars(Term, [], Chars),
-    checksum(Chars, 0, Hash).
+    crypto_data_hash(Chars, Hash, [algorithm(_)]).

 checksum([], Hash, Hash).
 checksum([Char|Rest], Acc, Hash) :-

is giving an overall performance dropdown of 46.6 times! (2797 sec versus 60 sec for the hash using a simple checksum)

The results are fine and it also works for trealla which is running all tests in 17 sec

[bakaq]

Wait, which of checksum/3 or crypto_data_hash/3 is slower?

[josd]

crypto_data_hash/3

[josd]

and the times are for running https://github.com/eyereasoner/eyelet/blob/main/testscryer

[josd]

the following kind of repairs the slowdown (from 2797 sec to 97 sec)

diff --git a/eyewip.pl b/eyewip.pl
index b181342..2ff963e 100644
--- a/eyewip.pl
+++ b/eyewip.pl
@@ -4,6 +4,7 @@

 :- use_module(library(between)).
 :- use_module(library(charsio)).
+:- use_module(library(crypto)).
 :- use_module(library(format)).
 :- use_module(library(iso_ext)).
 :- use_module(library(lists)).
@@ -222,7 +223,8 @@ dynify(A) :-
 % convert term to hash using a simple checksum
 term_hash(Term, Hash) :-
     write_term_to_chars(Term, [], Chars),
-    checksum(Chars, 0, Hash).
+    crypto_data_hash(Chars, HashChars, [algorithm(_)]),
+    atom_chars(Hash, HashChars).

 checksum([], Hash, Hash).
 checksum([Char|Rest], Acc, Hash) :-

[josd]

Is now further maintained at https://github.com/KNowledgeOnWebScale/eyelet