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).
