Tutorial de programación Prolog

Prolog es un lenguaje de programación que se utiliza comúnmente en la inteligencia artificial y lingüística investigación. Es un lenguaje de gran alcance, pero gran parte de su poder proviene de su opción de utilizar el paradigma declarativo para los lenguajes de programación más que el paradigma procedimental u orientado a objetos utilizado por la mayoría de los idiomas principales. Esto hace que la sintaxis de Prolog aparecen misteriosa, incluso para los programadores experimentados. El familiarizado afirmación "si entonces" y el obligatorio ", mientras que" bucle faltan en Prolog, reemplazado no por la sintaxis diseñado para fomentar y hacer la programación recursiva lo más fácil posible.

Instrucciones

1 Abra un editor de texto y guardar su trabajo como "facts.pl." En su forma más básica, Prolog funciona mediante la carga de una lista de datos (también conocido como predicados) y luego realizar operaciones sobre dichos hechos. La colección completa de los hechos es, convenientemente suficiente, conocida como una base de datos.

2 Pega el siguiente para declarar algunos hechos de Prolog:

% puestos de trabajo (nombre, descripción del trabajo)

puestos de trabajo (kevinWalker, "escritor").

puestos de trabajo (Bill Bailey, "estudiante").

La primera línea es un comentario diseñado para otros desarrolladores de pista en Prolog a la relación de los hechos. La primera parte de la realidad es el nombre de la relación, en este caso "puestos de trabajo". El primer argumento es entonces la clave para el hecho. Se debe comenzar con una letra minúscula y ser sólo una palabra. La última parte es el valor, en este caso, una cadena que describe un trabajo. Por último, cada hecho debe terminar con un punto.

3 Pegue lo siguiente en el mismo documento a añadir algunos hechos relacionados con la base de datos:

% Salario (nombre, salario)

salario (kevinWalker, 30000).

sueldo (Bill Bailey, 12000).

Dado que tanto el salario y el empleo utilizan la misma clave, las relaciones entre los datos se pueden realizar.

Guarde el archivo.

4 Abra su terminal de Prolog y escriba lo siguiente para cargar la base de datos:

(consulte "hechos").

Si se ha realizado correctamente, debería ver un "sí" o "verdadero" aparecen.

5 Escribe lo siguiente para realizar una consulta sencilla:

puestos de trabajo (kevinWalker, "escritor").

Aunque esto parece la misma que la definición del hecho, es en cambio una consulta para ver si la petición es verdadera. En este caso, la respuesta será "sí" o "verdadero", según la versión de Prolog. Sin embargo, si escribe:

puestos de trabajo (kevinWalker, "estudiante").

La respuesta será "falso" o "no".

6 Escribir una consulta más sofisticado:

puestos de trabajo (kevinWalker, empleo).

El resultado será:

Trabajo = "escritor"

7 Abra el archivo "facts.pl" de nuevo en el editor de texto y agregue la siguiente función:

makes_more_money (Persona1, Person2): -

salary(Person1, FirstSalary),

salario (Person2, SecondSalary),

FirstSalary> SecondSalary.

Esta función debe ser leído, "¿Tiene Persona1 hacer más dinero que Person2?" Para ello, se busca el salario de ambos Persona1 y Person2 y luego los compara, devolviendo el resultado.

Guarde el archivo.

8 Escriba lo siguiente en el intérprete para recargar su base de datos y utilizar la nueva función:

volver a consultar ( "hechos").

makes_more_money (kevinWalker, Bill Bailey).

Esto se ha vuelto a empezar en la programación Prolog. Hay mucho más que aprender, por lo que es posible que desee consultar a la introducción de Prolog en las Referencias.

Consejos y advertencias

• Las versiones de Prolog difieren ligeramente unos de otros. Este tutorial utiliza la implementación de código abierto de GNU de Prolog, por lo que algunos comandos puede variar ligeramente dependiendo de la versión.