Predicados Prolog

predicates

Question

Actualmente estoy aprendiendo sobre la lógica de predicados en Prolog. Tengo problemas para responder una pregunta sobre el tema y me gustaría saber los pasos que uno puede dar para resolver dicha pregunta usando los predicados de Prolog. Tengo un escenario que debe representarse en predicados Prolog usando solo dos nombres de predicados diferentes.

1. A y B están casados
2. B le gusta C
3. C y D están casados
4. D le gusta E
5. A F le gusta B
6. A E le gusta B
7. E y G están casados
8. A le gusta G

Answer 1

Solo escribe lo que dice.

are_married(a,b).
likes(b,c).

Y así. Hemos usado dos nombres de predicados hasta ahora.

En Prolog, los átomos se denotan mediante identificadores que comienzan con una letra minúscula. Los identificadores que comienzan con una letra mayúscula o un guión bajo _ denotan variables lógicas.