esercizi di stile: programmazione logica (Prolog)

meteo(freddo).
musica(autechre).
capo(divagazioni).
capo(X):-capo(X).
capo(analisi_tecnica,ringraziamenti).
capo(X,Y,Z):-domanda(X), argomento(Y), risposta(Y,Z).
domanda(X).
argomento(nuovo_software).
risposta(nuovo_software,analisi_tecnica).
lavoro(X,R):-capo(desiderata,X,Y),ditta(X,Z),mail(Y,Z,A),capo(A,R).
ditta(X,referente).
mail(Y,referente,Y).

?-lavoro(X,R).