Académique Documents
Professionnel Documents
Culture Documents
NACIONAL DE
CHIMBORAZO
FACULTAD DE INGENIERIA EN SISTEMAS Y
COMPUTACION
Inteligencia artificial
Tema:
PREDICADOS PREDEFINIDOS
Predicados predefinidos
Los predicados predefinidos son aquellos que ya estn definidos en
PROLOG, que no necesitamos especificarlos mediante clusulas. Aunque
algunos predicados predefinidos ya han sido introducidos en los captulos
anteriores, daremos un repaso a los ms importantes en este captulo.
Existen bsicamente dos tipos de predicados predefinidos:
Se
satisfae
si
Dest
es
la
si
Resto
todos
los
contiene
ir0([Sigx,Sigy],[Dx,Dy],
),
not member([Sigx,Sigy],Camino).
La lista T se construye para comprobar que no pasamos dos
veces por el mismo sitio para evitar meternos en un bucle
infinito.
El predicado ir/3 encuentra una ruta, que no tiene que ser la
mejor,
y
puede
encontrar rutas alternativas mediante
reevaluacin.
Bibliografa:
https://files2.smallpdf.com/files/f0b0bba78df94a9e6af37af1d6fadd3
e.pdf.docx?name=Tema4.docx
Clocksin, W.F., Mellish, C.S., Programacin en PROLOG. Segunda edicin.
Coleccin Cincia Informtica. Editorial Gustavo Gili S.A., 1993.