Classification des Languages de Programmation III
Programmation Fonctionnelle: Un programme est un appel de fonction avec un certain nombre de parametres, qui eux-meme peuvent etre des appels d ’autres fonctions. Le programme renvoie donc un seul resultat, qui peut-etre assez complexe (example: une nouvelle fonction).
Programmation Logique: Un programme consiste en une serie d ’axiomes, de regles de deduction et en un theoreme a prouver. Le programme renvoie la valeur « vrai » si les axiomes supporte le theoreme. Il renvoie la valeur « fause » autrement.