The Ncl Natural Constraint Language by Jianyang Zhou