Prolog
Prolog
Prolog
PROLOG
Esta representado por:
FORMULACION
Las consultas se basan en respuestas verdaderas o falsas
¿Qué es un Hecho en Prolog?
EJEMPLO EN LENGUAJE FORMAL
EJEMPLO: es_padre(terach,abraham).
es_mujer(sarah).
EJERCICIO RESUELTO EN SWISH-PROLOG
es_padre(terach,abraham).
es_padre(terach,nachor).
es_padre(terach,haran).
es_padre(abraham,isaac). % Es un hecho que indica “Abraham es padre de Isaac”
es_padre(haran, lot).
es_padre(haran, milcah).
es_padre(haran, yiscah).
es_madre(sarah,isaac). % Es un hecho que indica “Sarah es madre de Isaac”
es_hombre(terach).
Nota: Lo que esta colocado después del
es_hombre(abraham). signo porcentaje representa solo un
es_hombre(nachor). comentario para saber que hace dicha
es_hombre(haran). % Es un hecho que indica “Haran es hombre” línea (HECHO).
es_hombre(isaac).
es_hombre(lot).
es_mujer(sarah). % Sarah es mujer
es_mujer(milcah).
es_mujer(yiscah).
EJERCICIO EN SWISH-PROLOG