PROGRAMMATION EN LOGIQUE

Article

• PROGRAMMATION

  • Écrit par Jean-François MONIN
  • 7 691 mots
  Le langage de programmation en logique le plus connu est Prolog, dont une autre filiation se trouve dans les systèmes-Q de Colmerauer destinés à des calculs grammaticaux. Prolog est particulièrement adapté aux calculs sur des données structurées en arbre, le calcul progressant par accumulation de contraintes...