ENGINEST se consacre sur les technologies 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.

La conception de NCL a pour objectif d'offrir aux utilisateurs un langage Turing-complet  du type descriptif dans la convention mathématique et logique, propre et accessible facilement aux débutants, pour modéliser et résoudre des problèmes industriels. NCL se diffère avec les autres langages déclaratifs : Il modélise les problèmes naturellement dans la logique du premier ordre avec les quantificateurs, logique booléenne, les contraintes numériques, les opérations ensemblistes, et les fonctions logiques ; il résout des problèmes avec la programmation ensembliste mixe sur le domaine mixe des réels, entiers, booléens, dates/temps, références, et en particulier des ensembles.

Distingué avec les autres systèmes commerciaux :

 Parseur mathématique : la reconnaissance des expressions mathématiques naturelles est assurée par les techniques de l'intelligence artificielle ;

 Programmation ensembliste mixe : l'un des systèmes d'algorithmes les plus sophistiqués du monde qui intègre les opérations sur les domaines de réels, entiers, booléens, quantificateurs, ensembles, fonctions logiques, etc.  

Références

 Un prototype de NCL a été soumis en décembre 1997 à “Third International Conference on Systems Science & Systems Engineering". Le langage a été soumis en mars 1998 à “The Journal of Logic Programming“ (le journal officiel de l'Association de la programmation logique).

Livres:

 J. Zhou: The NCL Natural Constraint Language. Springer, ISBN 978-3-642-23844-4 (2012).

 J. Zhou: The NCL Natural Constraint Language. Science Press Beijing (in Chinese), ISBN 978-7-03-024973-9 (2009).

 Articles:

 J. Zhou: Introduction to the constraint language NCL. Journal of Logic Programming. 45 (1-3): 71-103(2000). 

 J. Zhou: A unified framework for solving Boolean, integer & set constraints. Proc. of Third International Conference on Systems Science & Systems Engineering: 205-210 (1998).

 J. Zhou: A Note on Mixed Set Programming. Proc. of The 7th International Symposium on Operations Research and Its Applications, 131-140 (2008).

 J. Zhou: Routing By Mixed Set Programming. Proc. of The 8th International Symposium on Operations Research and Its Applications, 157-166 (2009).