|
Prolog , pour programmation logique. Bien sûr,
tous les langages de programmation sont logiques. Ici, par logique, on
entend la logique du vrai et du faux. En prolog, les prédicats,
comparables
aux procédures ou fonctions des langages impératifs,
retourne une valeur
soit vrai, soit fausse. Le «backtracking» est une
caractéristique
notoire de prolog. Ce langage est fortement utilisé dans
le domaine de
l'intelligence artificielle et des systèmes experts.
|
|