Programmation Logique

Prolog

Langage de programmation logique le plus répandu, implémentant le principe de résolution SLD avec unification et backtracking automatique.

← Terug