Ejemplo de Sistema Experto

domains

persona = symbol

predicates

hombre (persona)
fumador (persona)
vegetariano (persona)
pareja_elegida (persona)

goal:

pareja_elegida(X) and write ("la posible pareja de Sofía es", X), nl.

clauses

hombre (josé).
hombre (mario).
hombre (tomas).
hombre (antonio).
fumador (tomas).
vegetariano (josé).
vegetariano (tomas).
pareja_elegida (X)∧hombre (X), not (fumador (X)).
pareja_elegida (X)∧hombre (X), vegetariano (X).