Razones para utilizar el Prolog

Prolog (Programación en Logic) es un lenguaje de programación única. Fue desarrollado en Francia por los investigadores que estaban interesados ​​en la traducción automática del lenguaje natural. Se ha desarrollado en Escocia por los investigadores que estaban interesados ​​en demostradores automáticos. Se llegó a la atención del mundo cuando los japoneses lo eligió como el idioma base para su proyecto "quinta generación" Inteligencia Artificial (IA). Hay un montón de buenas razones para utilizar Prolog.

El uso de Prolog

Una de las mejores razones para usar Prolog es que usted no tiene que decirle a la computadora cómo resolver un problema --- sólo hay que dar a la computadora las reglas involucradas en la solución del problema. Prolog programas consisten en un conjunto cuidadosamente ordenada de reglas que se parece a esto: Si X e Y y Z continuación, W. Este conjunto de reglas podrían ser las reglas gramaticales (si está trabajando en las lenguas naturales) o reglas acerca de las matemáticas (si está trabajando en demostradores automáticos) o reglas acerca de cualquier dominio de interés. Las reglas deben tener esta forma: "Si (cualquier número de antecedentes --- incluyendo cero antecedentes) entonces (conclusión)." Los antecedentes deben estar conectados con el "y" la conjunción. Una vez que las reglas están en su lugar, puede enviar una pregunta y el programa va a contestar "sí", "no" o "no puede contar".

Cuantificación

Otra razón para utilizar Prolog, es que es muy fácil de expresar las cosas en Prolog que son difíciles de expresar en otros idiomas. Es fácil de expresar hechos de Prolog, pero también es fácil de expresar relaciones complejas porque Prolog utiliza la lógica de cuantificación en vez de la lógica más simple utilizado por otros idiomas. La cuantificación sólo significa que una variable puede tener atributos --- en otras palabras, no es sólo "Si A y B entonces C" también se puede "Si A (a, b, c) y B (m, n) a continuación, C (a, b, n) "donde a, b, c, m y n son atributos de a, B y C. Por ejemplo: Si entre (x, y, z) y entre (x, k, y) entonces entre (x, k, z) "sería difícil de expresar en cualquier otro idioma --- sería ciertamente tomar más de una línea en cualquier otro idioma.

Unificación

La razón por la que mucha gente elige Prolog es que se buscará automáticamente una respuesta. Esto se puede hacer en otros idiomas, pero no es automático e implicaría cientos o miles de líneas de código. Prolog realmente obtiene su energía de herramientas lógicas como la cuantificación y la unificación. Unificación sólo significa que dos cosas no tienen que ser iguales para que coincida con el tiempo que se pueden hacer iguales mediante el uso de alguna lista de sustituciones. Por ejemplo, P (j, g) no es igual a P (k, g), pero se puede hacer igual si (j = k) está en la lista de suplentes. Unificación hace que sea fácil de buscar algo porque cuando Prolog responde "sí" o "no" sino que también devolver la lista de sustitución que se necesita para hacer funcionar las cosas. Por ejemplo, si el hecho de perro (rico, benji) está en su base de datos y se hace la pregunta "Perro (rico, x)". Prolog volverá "sí" y la lista de sustitución (x = benji).