HomeCRI
Développements logiciels (en majorité des logiciels libres) du Centre de Recherche en Informatique (CRI) de l'Université Paris 1.
-
Laboratoires/Services : CRI - Tutelle : Univ Paris 1 (Panthéon-Sorbonne)
GNU Prolog : compilateur natif pour Prolog avec résolveur de contraintes sur les Domaines Finis
Fonctionnalités principales : compilateur, langage informatique
Daniel Diaz - 07/06/12
Contribuer à PLUME !