excellent performance of Shen Prolog under Chez

[dr.mt...@gmail.com]

times to follow

Mark

[dr.mt...@gmail.com]

7.15 MLips on Chez - 4X faster than SBCL.

Mark

On Thursday, 9 March 2023 at 22:07:16 UTC dr.mt...@gmail.com wrote:

times to follow

Mark

[dr.mt...@gmail.com]

26 MLips on one problem.

M.

[Jun Sheng]

Can you please give some references?

--
You received this message because you are subscribed to the Google Groups "chez-scheme" group.
To unsubscribe from this group and stop receiving emails from it, send an email to chez-scheme...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/chez-scheme/d26a9487-f4b0-4516-ae5c-f5ea74d9b92fn%40googlegroups.com.

[dr.mt...@gmail.com]

Schubert's Steamroller for one.

run time: 0.0 secs

207332 inferences
true

Equivalential calculus

problem YQL

run time: 0.328125 secs
2974717 inferences
true

Shen Prolog uses an occurs check.  Proof of YQL attached.

M.

[dr.mt...@gmail.com]

I should point out that YQL includes the time needed to print a proof of 505 lines to file.

If we except this I/O operation, and concentrate on the pure Prolog we get

(<-kb (ec))

run time: 0.140625 secs
2973933 inferences
true

M.