Algoritmos

Objetos

-Simples Constantes Átomos

Números

Variables

-Estructuras

Átomos: cualquier cosa que empiece por minúscula

Números: un número cualquiera(naturales positivos principalmente.)

Variables: cualquier cosa que empieza por mayúscula o que empiece por guion bajo “_”. Al guion bajo se le denomina variable anónima.

Estructura: es un functor/aridad. El functor se desarrolla en lógica de primer orden y va a ser un átomo, ya que empieza por minúscula, y la aridad es el número de argumentos que va a tener esa estructura. Puede tener desde 0 hasta lo que queramos.

Archivos

Están formados por predicados. Son los archivos “___.pl”.

Predicados

Un predicado es un conjunto de cláusulas que comparten la cabeza.

Una clausula podrá ser un hecho o una regla

Un hecho es una estructura que acaba en un punto.

Una regla es un hecho o conjuntos de hechos.

Hecho:-

Hecho,

… Si esto se cumple, se cumple la regla.

Hecho.

La aritmética de Peano

Dice que los números son:

0 0

S(0) 1

S(S(0))2

…

Pero definir los naturales de Peano sería muy extenso (∞). Lo realizaremos de manera recursiva.

C1: natural (0).

C2: natural (S(X)):-

natural (X).

El prompt de prolog es el símbolo “?-“

Luego si ponemos en prolog:

?-natural(S(S(0)).

YES  Sera lo que devolverá prolog

?-natural(S(S(1)).

NO

?-natural(X).

X=0 Esto será lo primero que devuelva prompt y si pulsamos “N” o “;”

X=S(0) nos devolverá la siguiente instrucción de la query.

Ejemplo

Suma/3 Es

...