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 | - |
UWN