Prolog

CURSO DE PROLOG 2011-2 Programación funcional y lógica preposicional Alejandro Cortes Código 041533 E-mail: pc041533@ingenieria.sanmartin.edu.co
Abstract. in this article we will talk about twothemes that are very important in the course of prolog, first we talk of functional programming that is a very important type of programming because is very functional in many field for example inartificial intelligence, in the mathematics area and much more, also we talk of prepositional logic that is a theme very related with the functional programming because this use the logic to find solutionsof many problems.

1. Introducción Este documento es una breve introducción al tema de la programación funcional así como de un tema relacionado con esta que es la lógica proporcional, la idea deldocumento mirar de donde viene la programación funcional, porque es importante la programación funcional, en que campos la usamos y también mirar la relación de esta con la lógica proporcional y otrostemas que se hacen importantes mencionar. 2. Programación Funcional La programación funcional nació a principios de los años sesenta ya que muchos investigadores tenían necesidades en diferentes camposcomo en la inteligencia artificial, también en el campo de la solución de teoremas proposicionales y en el campo de las matemáticas donde se hacen necesarias variables fijas.

La programaciónfuncional funciona como una función matemática pues para una entrada tendremos una salida, además de esto se maneja la recursividad porque no tenemos posibilidad de incrementar o disminuir el valor de lasvariables. Aunque la programación funcional es “vieja” comparada con la programación orientada a objetos en los últimos años ha vuelto a recobrar importancia pues los problemas en los que se procesandatos en ambientes concurrentes se llegan a resolver de manera más eficiente con programación funcional, además de esto la programación funcional tiene también a su favor la inmutabilidad y el uso...