Enginest focuses on data processing, artificial intelligence, operations research, logic programming and language analysis technologies. The fruit of such a technological combination is the NCL Natural Constraint Language.
The
purpose of designing NCL is to offer users an easy-to-access toolkit for
handling constraint satisfaction problems.
Exclusively based on math & logic standards and adopting reduced set of conventional notations, NCL’s cleanness and simplicity make it easily accessible to beginners. Concerning its problem solving capability, it is distinguished from existing products by its unique innovation:
NCL's
prototype was submitted in Dec. 1997 to 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. The language was submitted in Mar. 1998 to The Journal
of Logic Programming (official journal of the Logic Prog. Association).
Jianyang Zhou. Introduction to the constraint language NCL. JLP 45(1-3):
71-103(2000).
Global Semantic Parser adopts pattern recognition
technique
in natural modeling and model diagnosing
Mixed Set Programming (over reals, integers, booleans,
references and sets) for dealing with NP hard problems
NCL is the
first and unique descriptive language with intelligent syntax for solving
constraint satisfaction problems. The NCL Scenery (available upon request)
is a quick tutorial that gives the feel and look of programming in NCL.
