Comparing SWI-Prolog s(CASP) vs Ciao s(CASP)

General
1

Dear Jan,

Congrats for the great work on s(CASP).

However I see that comparing SWI vs Ciao in the performance table is a bit misleading, since it is not SWI vs Ciao but just comparing two versions of sCASP?

2

Good remark, Jose. Sorry. I’ve added a disclaimer to the original text.

The naive initial port of s(CASP) was faster on Ciao than on SWI-Prolog. I do not recall the exact difference. I think somewhere around 30%. That is probably not fair either as in part that was caused by the port using Prolog emulation for Ciao built-ins. Prolog systems are pretty hard to compare on performance as there are many dimensions.

3

Thanks!! It is awesome that one can edit posts :slight_smile: