Le
premier et l’unique langage descriptif adoptant la syntaxe intelligente
au contexte
Enginest
se consacre sur les technologies de la programmation par contraintes,
de la recherche opérationnelle, de l'intelligence artificielle,
de l’analyse de langage et du traitement des données. Le
résultat de tant de recherches technologiques est NCL Natural Constraint
Language.
NCL offre aux utilisateurs un outil facile à l’utiliser pour répondre aux besoins d’optimisations avec des contraintes.
NCL offre aux utilisateurs un outil facile à l’utiliser pour répondre aux besoins d’optimisations avec des contraintes.
Reposant exclusivement sur les standards mathématiques et logiques et intégrant les notations conventionnelles de base, la simplicité et la clarté de NCL le rend facilement accessible à des débutants. En ce qui concernent les capacités de résolution des problèmes, NCL se distincte des produits existants actuels par ses innovations fondamentales :
Le
prototype du langage NCL a été soumis à la conférence
« Third International Conference on Systems Science & Systems
Engineering ». "J.Zhou. A unified framework for solving Boolean,
integer & set constraints. Proc. Of ICSSSE:205-210, Beijing, Aug 1998".
Le langage a été présenté dans « The
Journal of Logic Programming », le journal officiel de Logic Prog.
Association en mars 1998. "Jianyang ZHOU. Introduction to the constraint
language NCL. JLP 45(1-3): 71-103(2000)".
L’analyseur
sémantique global adopte la technique de reconnaissance de formes
dans le fait de modélisation naturelle et dans le fait de diagnostic
de modèles.
La programmation
sur les ensembles mixtes (réels, entiers, booléens, références
et ensembles) permet de traiter des problèmes NP-difficiles.
Les
règles de recherche supportent une programmation rapide d’algorithmes
heuristiques.
NCL
est le premier et l’unique langage descriptif adoptant la syntaxe
intelligente pour résoudre des problèmes sur la satisfaction
de contraintes. «The NCL Scenery» est un tutorial rapide qui
illustre la programmation en NCL.
