% Author:
% Date: 22/10/2010
% Modèle de Herbrand

% Exercice 5.1
% impair(X) :- impair(s(s(X))).
%
% constantes = { a_{H} }
% foncteurs  = { s }
% prédicats  = { impair }
%
% U_{E} = { a_{H}, s(a_{H}), s(s(a_{H})), ... }    = { s^{n}(a_{H}) | n >= 0 }
% B_{E} = { impair(a_{H}), impair(s(a_{H})), ... } = { impair(s^{n}(a_{H}) | n >= 0 }

% Exercice 5.2
% E = {
%          plus(zero,N,N),
%          plus(K,L,M) :- plus(s(K),L,s(M))
%     }
%
% constantes = { zero }
% foncteurs  = { s }
% prédicats  = { plus }
%
% U_{E} = { zero, s(zero), s(s(zero)), ... }    = { s^{n}(zero) | n >= 0 }
% B_{E} = { plus(zero,zero,zero), plus(s(zero),zero,zero), ... } = { plus(s^{k}(zero),s^{l}(zero),s^{m}(zero)) | k,l,m >= 0 }