For ISO compliance see syntax conformity assessment.
Name | Main Developer | ISO Part I | Availability | Source | CLP | CHR | Commercial Applications, References, Remarks | ||||
---|---|---|---|---|---|---|---|---|---|---|---|
dif | FD | Q | R | Bcompl. | |||||||
SICStus 3 | SICS | full | commercial | no | yes | yes | yes | float | yes | yes | references, Clarissa, Edgarscan, Tacton |
SWI | J. Wielemaker | full | LGPL | LGPL | yes | yes | yes | float | yes | applications | |
YAP | LIACC | full | artistic | yes | yes | yes | yes | float | yes | ||
Prolog IV | PrologIA | full | commercial | yes | yes | yes | interval | references | |||
IF/Prolog | IF Computer | full | commercial | yes | yes | yes | yes | applications!!! | |||
ECLiPSe | IC-Parc | Cisco-MPL | yes | yes | yes | float | yes | applications | |||
SICStus 4 | SICS | full | commercial | yes | yes | yes | merge of SICStus 3 and Quintus | ||||
Ciao | M. Hermenegildo | partial | GNU | GNU | yes | float | yes | originally based on older SICStus | |||
XSB | SUNY | LGPL | LGPL | yes | yes | company: industries served | |||||
B-Prolog | Neng-Fa Zhou | partial | commercial | yes | yes | yes | |||||
Prolog II+ | PrologIA | yes | free | yes | |||||||
Nu | L. Naish | academic | yes | yes | |||||||
CHIP | Cosytec | commercial | yes | yes | applications!!!, references | ||||||
GNU Prolog | D. Diaz | full | GNU | GNU | yes | TOPS | |||||
Prolog systems without constraints (with mostly many other extensions) | |||||||||||
MINERVA | IF Computer | full | commercial | runs in Java browser!!!, showcase | |||||||
Amzi! | full | commercial | yes | applications | |||||||
ALS | Applied Logic Systems | yes | Free/MIT | GitHub | |||||||
LPA | yes | commercial | applications, news | ||||||||
Arity/Prolog | free | showcase | |||||||||
Quintus | SICS | commercial | Inquizit | ||||||||
BinProlog | BinNet | commercial | demos | ||||||||
Trinc | full | commercial | |||||||||
Strawberry | D.D. Dobrev | commercial | |||||||||
Close-to-Prolog systems (mostly type or mode restricted) | |||||||||||
Visual Prolog | PDC | commercial | applications, Borland Turbo Prolog's successor | ||||||||
Mercury | Z. Somogyi | GNU | GNU | ||||||||
HAL | team | ? | ? | float? |
unify_with_occurs_check/2
. Significant overheads are
not inherent: The 496 logical inferences executed require a total of
465 unifications with occurs check. But 435 unify a variable with a
constant, 30 unify a variable with a ground list of the form
[integer].
Pentium III 1GHz | Mlips | |||
---|---|---|---|---|
system | version | default | occurs check | slowdown |
SWI | 5.4.0 | 1.8 | 1.2 * | 1.5 |
SICStus | 3.11.2 | 11.8 | 2.7 | 4.3 |
Yap | 4.4.4 | 19.5 | 7.8 | 2.5 |
Ciao | 1.10#5 | 6.6 | 2.0 | 3.3 |
GNU | 1.2.16 | 10.9 | 5.8 | 1.9 |
B | 6.6 #2 | 14.5 | n.a | - |