Overview of Prolog Systems

Please mail additions and corrections to ulrich@complang.tuwien.ac.at

For ISO compliance see syntax conformity assessment.

NameMain DeveloperISO
Part IAvailabilitySourceCLPCHRCommercial Applications,
References, Remarks

difFDQRB_compl.

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?

Speed comparison

The following comparison tests the overheads incurred by 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 1GHzMlips

system versiondefault occurs checkslowdown

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 -

*: Since version 5.6.38, SWI provides the runtime Prolog-flag occurs_check to enable occurs check. LIPS are the same with and without occurs check!