Cláusula de bocina a Prolog [cerrado

Question

Con las necesidades de mi HW en Uni, necesito transformar algunas cláusulas de bocina a Prolog, pero no puedo entender cómo hacerlo. Descubrí algunas guías, pero describen cómo hacerlo con solo un hecho. Entonces, ¿puedes darme un breve ejemplo sobre cómo hacerlo?

Por ejemplo, John es hermoso y rico

Podemos transformarlo en: not (Beautiful(John)) ^ not(Rich(John)) ¿Cuál es una cláusula de cuerno, verdad? Entonces, ¿cómo se puede traducir esto Prolog?

Otro ejemplo, todos aman a alguien. Cláusula de Horn: $ Forall X Exists y Loves (x, y) $ ¿Cómo se puede implementar esto en Prolog?

Gracias por adelantado