PROGRAMMATION EN LOGIQUE

Ce sujet est traité dans les articles suivants :

1.  PROGRAMMATION

Écrit par : Jean-François MONIN

Dans le chapitre "De la programmation en logique à la programmation par contraintes"  : …  –, soit « non, aucune substitution appliquée à C ne donne une telle conséquence ». 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… Lire la suite