Clausola di corno a Prolog [chiuso

Question

Alle esigenze del mio HW a Uni devo trasformare alcune clausole di corno in Prolog, ma non riesco a capire come farlo. Ho scoperto alcune guide ma descrivono come farlo con un solo fatto. Quindi puoi darmi un breve esempio su come farlo?

Ad esempio John è bello e ricco

Possiamo trasformarlo a: not (Beautiful(John)) ^ not(Rich(John)) Qual è una clausola di corno giusto? Quindi come può essere tradotto Prolog?

Un altro esempio che tutti amano qualcuno. Clausola di Horn: $ forall x esiste y loves (x, y) $ Come può essere implementato in prolog?

Grazie in anticipo