listes.txt

来自「A usefull introduction of basic usage, a」· 文本 代码 · 共 31 行

% Programmation Multi-Styles : approche proc閐urale r閏ursive  (Alain Lucci IUT de Valence)
%------------------------------------------------------------------------------------------


/* pour le prochain cours */


liste([]). 
liste([T|Q]) :- liste(Q). 


/* avec l'arithm閠ique symbolique */
longueur([],0). 
longueur([T|Q],succ(N)) :- longueur(Q,N). 


appartient(T,[T|Q]). 
appartient(X,[T|Q]) :- appartient(X,Q). 

concat([],Y,Y). 
concat([E|X],Y,[E|Z]) :- concat(X,Y,Z). 


/* avec l'arithm閠ique pr閐閒inie */
total([],0). 
total([T|Q],S) :- 
   total(Q,S1),
   S is S1 + T.