Ejemplo

Mortal (x): - humano(x)
x es mortal si x es humano
Hecho: declaración, cláusula o proposición cierta
o falsa, el hecho establece una relación entreobjetos y es la forma más sencilla de sentencia
Ej:Humano (Sócrates); Sócrates es humanoAma (Juan, Maria) ; ama Juan a MariaConsulta: se especifica el problema, laproposición a demostrar o el objetivoPartiendo de que los humanos son mortales y deque Sócrates es humano, deducimos queSócrates es mortalMortal (x): - humano(x);- los humanos sonmortales ; reglaHumano (Sócrates); Sócrates es humano; hechoSócrates es mortal.

Otro ejemplo

•Regla 1 si un animal es ungulado y tiene rayas negras, entonces es una cebra

•Regla 2 si un animal rumia y es mamífero, entonces es ungulado

•Regla 3 si un animal es mamífero y tiene pezuñas, entonces es ungulado

•Hecho 1 el animal es mamífero•Hecho 2 el animal tiene pezuñas•Hecho 3 el animal tiene rayas negras

•Consulta: demostrar a partir de la base de conocimientos que el animal es una cebra•Es cebra: - es-ungulado, tiene-rayas-negras

•Es ungulado: - rumia, es-mamífero

•Es ungulado: - es-mamífero, tiene-pezuñas

•Es-mamífero

•Tiene-pezuñas

•Tiene rayas-negras

DERIVADA

:-padre(P,luis),procrean(H,M,P). --------> :-procrean(P,M1,luis),procrean(H,M,P).{P/antonio, M1/ana}----------> :-procrean(H,M,antonio).{H/andres, M/lola}------------->(éxito)