Prolog

Solo disponible en BuenasTareas
  • Páginas : 3 (594 palabras )
  • Descarga(s) : 0
  • Publicado : 21 de marzo de 2011
Leer documento completo
Vista previa del texto
LÓGICA CON PROLOG – MATILDE CÉSARI

PRÁCTICAS DE LÓGICA CON PROLOG
No se pretende explorar toda la potencia del lenguaje de programación lógica Prolog. Eso sobrepasaría las pretensiones de nuestraasignatura. Simplemente queremos mostrar a los estudiantes cómo pueden escribir programas (bases de conocimientos) con el lenguaje de la lógica, por medio de hechos y reglas. Posteriormente podemosejecutar estos programas realizando preguntas que el sistema nos responderá a partir de la información que conoce. Es decir, no vamos a estudiar Prolog desde el punto de vista de un lenguaje deprogramación, sino como una aplicación directa de la lógica de primer orden. Por todo ello, únicamente vamos a describir un pequeño subconjunto de predicados predefinidos, en especial aquellos con marcadocarácter lógico, que no interfieren en el control, no entraremos en detalle en los predicados de entrada/salida1. Todos los ejemplos han sido probados utilizando SWIProlog, que es elinterprete/compilador utilizado en las clases prácticas. PROLOG es un lenguaje de programación para ordenadores que se basa en el lenguaje de la Lógica de Primer Orden y que se utiliza para resolver problemas en los queentran en juego objetos y relaciones entre ellos. Por ejemplo, cuando decimos "Jorge tiene una moto", estamos expresando una relación entre un objeto (Jorge) y otro objeto en particular (una moto).Más aún, estas relaciones tienen un orden específico (Jorge posee la moto y no al contrario). Por otra parte, cuando realizamos una pregunta (¿Tiene Jorge una moto?) lo que estamos haciendo es indagandoacerca de una relación. Además, también solemos usar reglas para describir relaciones: "dos personas son hermanas si ambas son hembras y tienen los mismos padres". Como veremos más adelante, esto eslo que hacemos en Prolog. Una de las ventajas de la programación lógica es que se especifica qué se tiene que hacer (programación declarativa), y no cómo se debe hacer (programación imperativa). A...
tracking img