Documente Academic
Documente Profesional
Documente Cultură
Explicacin
?- halt.
?- edit(archivo).
?- consult(archivo). | [archivo].
?- help. | help(ayuda).
?- make.
?- listing.
?- listing(predicado).
?- apropos(palabra).
?- trace.
Antonio C. Gonzlez C.
Comentarios
/* */
Predicados
nombre(term1, , termN).
Constantes Simblicas
Constantes Numricas
Variables
Variable Annima _
Estructura (Funcin)
Trminos
Ejemplos: a, x, 2, juan, camisa (1 letra en minsculas).
Ejemplos: 2, 355, -1
Ejemplos: X, Y, Nombre (1 letra literal en maysculas).
Su valor es indiferente.
Functor(arg1, , argN).
Aridad=n Argumentos
Pgina 1
Hecho
Predicado( ).
Regla
Consecuente :- Antecedente
V. PREDICADOS RECURSIVOS
Antonio C. Gonzlez C.
Pgina 2
Operacin
Suma
Multiplicacin
Menos unario.
Substraccin.
Divisin
Evaluacin Aritmtica: Se realiza por medio del operador is. Ejemplo: ?- X is 2 + 3. (X = 5).
Antonio C. Gonzlez C.
Significado
Igualdad Aritmtica.
Distinto
Mayor que
Menor que
Mayor o igual
Menor o igual
Pgina 3
VIII. LISTAS
Representacin
[elem1, elemN]
[]
[cab|cola]
Construccin
Destruccin
Z = [ a | Y].
[ X | Y ] = Z.
si Y = [ b, c] Z = [a, b, c]
si Z = [ a, b, c] X = a , Y = [ b, c]
Operacin
Indica a Prolog que no considere las clusulas previas en caso de reevaluacin.
Unificacin de trminos.
A \= B, Verdadero si ambos trminos no pueden unificarse.
X. PREDICADOS PROLOG
Predicados
append(Lista1,Lista2,Lista3).
call
not(predicado).
Antonio C. Gonzlez C.
Operacin
Verdadero si Lista3 es la concatenacin de las dos primeras.
Comprueba la veracidad de un predicado pasado como primer parmetro.
Siendo en resto de argumentos los parmetros del predicado a evaluar.
Devuelve Verdadero si Predicado es Falso, Falso en caso de Predicado Verdadero.
Pgina 4