[Esercizio: Farengar e il Fus]

Formalizzare in logica dei predicati (clausole definite) la seguente conoscenza:

ADATTATO DALLA VOCE "The Elder Scrolls V: Skyrim" IN WIKIPEDIA (ITALIANO)
Una pietra del drago è una stele dove sono scolpiti i tumuli degli antichi draghi. 
Farengar trova una pietra del drago in un luogo che custodisce un antico potere, 
il Fus ("forza", nella lingua dei draghi). 
Farengar viene a scoprire casualmente che chi visita un luogo che custodisce il Fus 
acquista il potere di assorbire l'anima di una creatura uccisa e 
chi possiede l'anima di una creatura ha una forza inesorabile e può uccidere chiunque minacci il suo luogo.
Un drago minaccia Whiterun, la città di Farengar.

Dimostrare che Farengar salverà la città.

Suggerimenti: 
1) procedere nella rappresentazione della conoscenza, compilando e aggiornando 
   i dizionari delle costanti, delle funzioni e dei predicati;
2) usare il Modus Ponens Generalizzato come procedura di inferenza; 
3) aggiungere eventualmente della conoscenza mancante (sia di tipo tassonomico, “Le città sono luoghi.”),
   sia di tipo assiomatico, “Salvare un luogo vuol dire uccidere chi minaccia quel luogo.”).