mrsolarius

% Spéc et implementation d'une fonction comptant le nombre d'occurences d'un élément dans une liste
% nb(E,L) renvoie le nombre d'occurences de E dans L
%
% Spéc :
% nb(E,L) renvoie le nombre d'occurences de E dans L, liste. 
%
% Exemple :
% nb(1,[2,1,3,1]) = 2
% nb(5,[1,2,3,4]) = 0

mrsolarius

% Spéc et implementation d'une fonction d'appartenance d'un élément à une liste
% app(E,L) renvoie vrai si E appartient à L
%
% app(X,L) vrai ssi X appartient à L
%
% Exemple :
% app(1,[1,2,3,4]) = true
% app(5,[1,2,3,4]) = false

% Analyse sur L : 2 cas

mrsolarius

% Spéc
% fact/1 renvoie le factoriel de l'argument paser en parametre
% le fact(N) est N*(N-1)*...*2*1 N appartient à N
% 
% Exemple :  
% > fact(3) = 6 

% Analyse sur N : 2 cas 
% N = 0
fact(N)->1;

mrsolarius

%% % % % % % % % % % % % % % % % % % % % % % % % %
%% Topic  : Implementation d'un trie par insersion en Prolog
%% % % % % % % % % % % % % % % % % % % % % % % % %

%% % % % % % % % % % % % % % % % % % % % % % % % %
%% Spécification -> tri
%%
%%        |     ^
%%        v     |
%% tri(Liste,Trier) est vrais si est seulement si `Trier` contient tous les 

mrsolarius

%% % % % % % % % % % % % % % % % % % % % % % % % %
%% Topic  : Implementation d'une fonction de palindrom en prolog
%%          -> Note : Un palindome et une liste inversable.
%% % % % % % % % % % % % % % % % % % % % % % % % %

%% % % % % % % % % % % % % % % % % % % % % % % % %
%% Spéc
%% pal() et vrais ssi L est une liste palindrome.
%% la liste L1
%%