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