Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
com/doc/27500195/INTRODUCCION-APROLOG#scribd
4.1 Aritmtica en PROLOG En PROLOG
La aritmtica se realiza con ciertos predicados predefinidos que toman como
argumento una expresin aritmtica (trabajando sobre enteros y reales) y la
evala.
Expresiones aritmticas
Una expresin aritmtica es un trmino construido con nmeros, variables y
funtores que representan funciones aritmticas. Slo se permiten ciertos
funtores en estas expresiones. Algunos de ellos son los siguientes:
Operaciones aritmticas
La programacin lgica no tiene como objeto abordar problemas de
clculo numrico, pero a veces son necesarias ciertas operaciones
elementales, como contar el nmero de elementos de una lista,
multiplicar por una constante, etc.
En principio, las operaciones aritmticas pueden expresarse
mediante relaciones. As, se puede definir la relacin suma , que
tiene tres argumentos numricos, y que ser verdadera si el tercero es
la suma de los dos primeros, de manera que suma(2,3,5) es
verdadero y suma(2,3,4) es falso. Su definicin extensional sera:
suma(0,0,0).
suma(0,1,1).
suma(0,2,2).
...
Es fcil comprender que esta manera de proceder carece de
utilidad prctica, como en el caso de las relaciones de orden entre
nmeros.
Operadores
?- media(10,16,X).
X=13
pero la mquina Prolog (el procesador ejecutndose en un
ordenador) dar un error si preguntamos:
?- media(X,16,13).
X=4
Aadiendo esta definicin de longitud, por ejemplo, a las escritas
ms arriba para la generacin de listas que representan algunas
frases en espaol, podemos preguntar por frases con un determinado
nmero de palabras:
?- sentencia(X),longitud(X,4).
X=[Espana,es,un,estado]
X=[un,estado,es,Espana]
?- sentencia(X),longitud(X,L),L<3
NO