Una de las mejores razones para utilizar Prolog es que usted no tiene que decirle a la computadora cómo resolver un problema --- sólo tienes que darle al equipo las normas involucradas en la solución del problema . Programas Prolog consisten en un cuidado conjunto ordenado de reglas que se parecen a esto: Si X e Y y Z se W. Este conjunto de reglas pueden ser reglas de la gramática ( si está trabajando en las lenguas naturales ) o reglas sobre 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" conjunción. Una vez que las reglas están en su lugar , puede enviar una pregunta , y el programa va a responder " sí", " no" o "no se puede contar. "
Cuantificación
otra razón para usar 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 en Prolog , sino que también es fácil de expresar relaciones complejas porque Prolog utiliza la lógica de cuantificación en lugar de la lógica más simple utilizado por otros idiomas . 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 puede ser " 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 --- que sin duda llevará más de una línea en cualquier otro idioma .
Unificación
La razón muchas personas optan por Prolog es que va a 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 consigue su de alimentación 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 utilizando alguna lista de sustituciones . por ejemplo , P ( j , g ) no es igual a P (k, g ), pero se pueden hacer iguales si ( j = k ) está en la lista de suplentes . Unificación hace que sea fácil de buscar algo, porque cuando las respuestas Prolog " sí" o "no" también volverán la sustitución lista que se necesita para que las cosas funcionen . Por ejemplo , si el perro hecho (rico , benji ) se encuentra en su base de datos y le pide el "Perro (rico , x) " cuestión . Prolog volverá "sí" y la lista de sustitución (x = benji ) .