Comparación de implementaciones de Prolog

La siguiente comparación de implementaciones de Prolog proporciona una referencia sobre las características relativas y el rendimiento de las diferentes implementaciones del lenguaje de programación Prolog . Un análisis exhaustivo de los sistemas Prolog más importantes se presenta en un artículo publicado en el número especial del 50 aniversario de Prolog de la revista Theory and Practice of Logic Programming (TPLP). ^{[ 1 ]}

Hay implementaciones de Prolog que son radicalmente diferentes, con sintaxis y semántica distintas (por ejemplo, Visual Prolog) ^{[ 2 ]} y se han desarrollado subcomunidades en torno a diferentes implementaciones. ^{[ 2 ]}

El código que se ajusta estrictamente al lenguaje central ISO-Prolog es portable entre implementaciones compatibles con ISO. Sin embargo, el estándar ISO para módulos es una extensión que no se adoptó completamente en la mayoría de los sistemas Prolog. ^{[ 2 ] [ 1 ]}

Los factores que pueden afectar negativamente la portabilidad incluyen: el uso de aritmética de enteros acotada frente a no acotada, tipos adicionales como objetos de cadena, tipos numéricos avanzados (racionales, complejos), extensiones de características como Unicode , subprocesos y tabulación. ^{[ 3 ]} Uso de bibliotecas no disponibles en otras implementaciones y organización de bibliotecas: ^{[ 2 ]}

Actualmente, la forma en que los predicados se distribuyen entre las bibliotecas y las funciones integradas del sistema difiere enormemente. [...] Afortunadamente, solo hay unos pocos casos en los que encontramos predicados con el mismo nombre pero con semántica diferente (por ejemplo, delete/3).

• Problemas de evaluación comparativa: Evaluación comparativa de Prolog impar , diferencias de rendimiento. ^{[ 18 ]}
• Software de evaluación comparativa: versiones anteriores , Dobry's Benchmarks , Aquarius benchmark suite , (Bothe, 1990), ^{[ 19 ]} (Demoen et al. 2001) , descripciones de evaluación comparativa
• Resultados de evaluación comparativa: B-Prolog , SICStus , XSB, ^{[ 20 ]} SICStus vs Yap vs hProlog ^{[ 21 ]}
• Resultados de la evaluación comparativa: Estudio de motores Java Prolog realizado por Michael Zeising.
• Resultados de la evaluación comparativa: OpenRuleBench, evaluación comparativa anual de código abierto de motores de reglas.

• Descripción general de los sistemas Prolog por Ulrich Neumerkel
• Evaluación de la conformidad I: Sintaxis