Abonnez-vous à Universalis pour 1 euro

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...