Différences

Ci-dessous, les différences entre deux révisions de la page.

--- cnam:utc503:declarative [2023/02/24 00:43] – créée jcheron
+++ cnam:utc503:declarative [2023/11/25 18:41] (Version actuelle) – [Prog logique] jcheron
@@ Ligne 14: / Ligne 14: @@
 ==== Prog fonctionnelle ====
-La programmation fonctionnelle Aborde la programmation comme la définition et l'usage d'un ensemble de fonctions mathématiques.
+La [[cnam:utc503:declarative:fonctionnelle|programmation fonctionnelle]] Aborde la programmation comme la définition et l'usage d'un ensemble de fonctions mathématiques.
 ==== Prog logique ====
@@ Ligne 20: / Ligne 20: @@
 Consiste à poser le problème par un ensemble de propositions logiques à satisfaire : ProLog
-(voir PROLOG).
+(voir [[cnam:utc503:declarative:prolog|PROLOG]]).
 ==== Prog par contraintes ====
 Permet de résoudre des problèmes combinatoires (planification ou ordonnancement par ex) par satisfaction de contraintes.