Datalog vs CLIPS vs Prolog

Question

Como muchos programadores estudié Prolog en la universidad, pero muy poco. Entiendo que Prolog y Datalog están estrechamente relacionados, ¿pero Datalog es más simple? Además, creo que leí que Datalog no depende del orden de las cláusulas lógicas, pero no estoy seguro de por qué esto es una ventaja. CLIPS es supuestamente completamente diferente, pero es demasiado sutil para que lo entienda. ¿Puede alguien proporcionar un resumen general de los idiomas sobre los otros idiomas?

Answer 1

datalog es un subconjunto de prolog. el subconjunto que lleva registro de datos tiene dos cosas en mente:

1. adoptar una API que apoyaría reglas y consultas
2. asegúrese de que todas las consultas terminan

Prolog es Turing completo. datalog no es.

eliminando el registro de datos, veamos cómo se compara el prólogo con los clips.

La experiencia de prolog es la "resolución de problemas" mientras que los clips son un "sistema experto". Si lo entiendo correctamente, la "resolución de problemas" involucra la experiencia usando código y datos. los "sistemas expertos" utilizan principalmente estructuras de datos para expresar su experiencia. ver http://en.wikipedia.org/wiki/Expert_system#Comparison_to_problem-solving_systems

otra forma de verlo es:

sistemas expertos operan en la premisa de que la mayoría (si no todos) se conocen los resultados. todos estos resultados se compilan en datos y luego se incorporan a un sistema experto. darle al sistema experto un escenario, el sistema experto calcula el resultado de los datos compilados, también conocidos como base de conocimiento. siempre es un tipo de pensamiento "un número par más un número par siempre es par".

los sistemas de solución de problemas tienen una visión incompleta del problema. entonces uno comienza con modelar datos y comportamiento, que comprendería la base de conocimiento (esto le da justicia al término "caso de esquina") y termina con "si sumamos dos a seis, terminamos con ocho. Es ocho divisible por dos? entonces es incluso "

Answer 2

La diferencia entre CLIPS y Prolog/Datalog es que CLIPS es un "sistema de reglas de producción" que opera con encadenando: da un conjunto de hechos y reglas, intentará hacer todas las derivaciones posibles de nuevos hechos y almacena esos en la memoria. A continuación, se responde a una consulta comprobando si coincide con algo en la tienda de hechos. Así, en los clips, si tiene (pseudo-sintaxis):

parent(X,Y) => child(Y,X) 
parent(john,mary) 

derivará inmediatamente child(mary,john) y recordar ese hecho. Esto puede ser muy rápido, pero impone restricciones al posible conjunto de reglas y ocupa memoria.

Prólogo y registro de datos operan por encadenamiento hacia atrás, lo que significa que una consulta (llamado predicado) es contestada por tratar de demostrar la consulta, es decir, la ejecución del programa Prolog/registro de datos. Prolog es un lenguaje de programación completo de Turing, por lo que cualquier algoritmo puede implementarse en él.

Datalog es un subconjunto completo de Turing de Turing que no permite, por ejemplo, la negación. Su principal ventaja es que cada programa Datalog termina (sin bucles infinitos). Esto lo hace útil para las denominadas "bases de datos deductivas", es decir, bases de datos con reglas además de hechos.