Programmation Logique
Prolog
Langage de programmation logique le plus répandu, implémentant le principe de résolution SLD avec unification et backtracking automatique.
← TillbakaLangage de programmation logique le plus répandu, implémentant le principe de résolution SLD avec unification et backtracking automatique.
← Tillbaka