Clause de corne à Prolog [fermé

Question

Aux besoins de mon HW à Uni, je dois transformer certaines clauses de cor en proloc, mais je ne peux pas comprendre comment le faire. J'ai découvert quelques guides mais ils décrivent comment le faire avec un seul fait. Alors pouvez-vous me donner un bref exemple sur la façon de le faire?

Par exemple, John est beau et riche

Nous pouvons le transformer à: not (Beautiful(John)) ^ not(Rich(John)) Quelle est une clause de klaxon? Alors, comment cela peut être traduit par le prolog?

Un autre exemple, tout le monde aime quelqu'un. CLAUSE DE HORN: $ forall x existe y aime (x, y) $ comment cela peut-il être mis en œuvre dans Prolog?

Merci à l'avance