基本説明
Presents a description language in mathematical logic, proved practical in industry. Foreword by Alain Colmerauer, father of Prolog. Jointly published with Science Press Ltd.
Full Description
"The NCL Natural Constraint Language" presents the NCL language which is a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems.
