Built-ins Seattle 2006
This is a commented HTML-rendering of
Paul Moura's original PDF
presented at the Seattle meeting 2006.
Built-ins | compare/3 | callable/1 | forall/2 | numbervars/3 | retractall/1 | sort/2 | keysort/2 | ground/1 | call/N |
ALS Prolog 3.1
| yes
| no
| no
| yes
| no
| yes
| yes |
Amzi! Prolog 6.2.2
| yes*
| no
| no
| yes
| yes
| yes
| yes |
B-Prolog 6.9
| yes
| yes
| yes
| yes
| yes
| yes
| yes
| yes
| no |
CIAO 1.10
| yes
| yes
| no
| yes
| yes
| lib
| lib
| lib
| lib |
CxProlog 0.95
| no
| no
| no
| yes
| yes
| yes
| yes
| yes |
ECLiPSe 5.5
| yes
| no
| no
| lib
| no**
| yes
| yes |
GNU Prolog 1.2.16
| yes
| yes
| no
| yes
| yes
| yes
| yes
| no |
IF/Prolog 5.1
| yes
| no
| no
| yes***
| yes
| yes
| no
| yes |
JIProlog 3.0.2-3
| yes
| yes
| yes
| yes
| yes
| yes
| no |
K-Prolog 5.1.2a
| yes
| no
| no
| no
| no
| yes
| yes |
LPA MacProlog32 1.25
| yes
| yes
| yes
| yes
| yes
| yes
| yes |
LPA WinProlog 4.50
| yes
| yes
| yes
| yes
| yes
| yes
| yes |
MasterProLog 4.1
| yes
| no
| no
| no
| yes
| yes
| yes |
Minerva 2.4
| no
| no
| no
| no
| yes
| yes
| no |
Open Prolog 1.1b5
| yes
| no
| no
| yes
| no
| yes
| yes |
PrologII+ 4.5
| no
| no
| no
| ?
| yes
| yes
| yes |
Qu-Prolog 6.7
| yes
| yes
| no
| no
| yes
| yes
| no
| no |
Quintus Prolog 3.3
| yes
| yes
| lib
| yes
| yes
| yes
| yes
| yes |
SICStus Prolog 4.0
| yes
| yes
| no
| yes
| yes
| yes
| yes
| yes
| yes |
SWI Prolog 5.6.23
| yes
| yes
| yes
| yes
| yes
| yes
| yes
| yes
| yes |
XSB 3.0
| yes
| yes
| no
| lib
| yes
| yes
| yes
| lib
| no |
YAP 5.1
| yes
| yes
| no
| yes
| yes
| yes
| yes
| yes
|
* Returns '==' instead of '='
** There is a retract_all/1 built-in predicate
Comments:
*** This entry should read "no".
ISO Prolog works,
Validated HTML