%===============================

unificabile(X,X).

%===============================
% Conoscenze fattuali (Parte estensionale della Base di Conoscenza)

% Tre fatti definiscono il predicato bevanda/1:

bevanda(acqua).
bevanda(vodka).
bevanda(gingerino).

% Tre fatti definiscono il predicato farmaco/2:

farmaco(flu,aspirina).
farmaco(malDigola,aspirina).
farmaco(singhiozzo,spavento).


%===============================
% Conoscenze implicite (Parte intensionale della KB)

% Due regole definiscono il predicato cura/2;
% (si noti anche la presenza di termini composti):

cura(X,Y) :- farmaco(X,Y).
cura(singhiozzo, bere(Y)) :- sorsi(X,Y), bevanda(X).

% Un'asserzione e una regola definiscono il predicato sorso/2;
% (si noti anche qui la presenza di termini composti):

sorsi(X,sorso(sorso(X))).         % 2 o piu`
sorsi(X,sorso(Y)) :- sorsi(X,Y).