La entrada original en mi otro blog aquí: LINK
El lenguaje Prolog es el que utilizamos en prácticas de Matemáticas 1, en la parte de lógica. Es un lenguaje lógico, que se utiliza para resolver problemas en los que entran en juego objetos y relaciones entre objetos.
Existen en Prolog dos tipos de cláusulas, los Hechos y las Reglas.
- Un hecho es del tipo
valioso(oro). Esto siempre se cumple, es decir, en este ejemplo: El oro es valioso. Está formado por un predicado (valioso), y por argumentos, en este caso sólo uno (oro). - Una regla es del tipo
Cabeza :- Cuerpo. Y se lee de la forma: “La cabeza es verdad si el cuerpo es verdad”. Para que se cumpla la cabeza, tiene que cumplirse todo lo siguiente, el cuerpo.
Por otra parte, en Prolog, y como en todos los lenguajes, existen las constantes y las variables. Las constantes siempre empiezan por una letra minúscula, mientras que las variables comenzarán con una letra mayúscula.
En los hechos, escribimos siempre en el argumento constantes, ya que son hechos que se van a cumplir siempre, en el “universo” del código.
Para finalizar este artículo, un pequeño ejemplo contenido en el juego del tipo aventura conversacional que estamos creando en las prácticas de Matemáticas 1: Aquí no hay quien estudie…Mates 1.
En él vamos a encontrarnos básicamente con hechos y constantes:
%%%%HECHOS%%%%
%vecino(X): Los vecinos del edificio.
vecino(carles_logicus).
vecino(chusita).
vecino(cristine_alegre).
vecino(supernenas).
vecino(fran_cuesta).
vecino(faraonilio).
vecino(javi_hierbas).
vecino(laura).