Abstract
This introduction is a brief presentation of NCL (Natural Constraint Language) and its software platform POEM® (Programming in Operational and Expressive Models). After reading this chapter, readers will have a clear idea about the main features of NCL.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA (1986)
Aggoun, A., Beldiceanu, N.: Extending CHIP in order to solve complex scheduling and placement problems. Mathl. Comput. Modelling, 17 (7): 57–73 (1993)
Barwise, J.: An introduction to first-order logic. In: Barwise J. ed. (1982), Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics). North-Holland (1977)
Benhamou, F.: Interval constraint logic programming. Constraint Programming 1994: 1–21 (1994)
Bleuzen-Guernalec, N., Colmerauer, A.: Optimal narrowing of a block of sortings in optimal time. Constraints, 5(1/2): 85–118 (2000)
Chomsky, N.: Three models for the description of language. IRE Transactions on Information Theory, 2(3): 113–124 (1956)
Colmerauer, A., Kanoui, H., Pasero, R., Roussel, P.: Un système de communication homme-machine en français. Technical Report, Groupe Intelligence Artificielle, Université d’Aix-Marseille II (1973)
Colmerauer, A.: PROLOG II reference manual and theoretical model. Technical report, Groupe Intelligence Articielle, Université Aix-Marseille II (1982)
Colmerauer, A.: An introduction to Prolog III. Communications of the ACM, 33(7): 69–90 (1990)
Colmerauer, A.: Prolog IV Specifications. Reference Manual WP7/R25, Esprit project 5246, TRD Prince (1995)
Dantzig, G.B.: Origins of the simplex method. In: Nash SG (ed.), A History of Scientific Computing. Boston: Addison-Wesley, 141–151 (1990)
Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., Berthier, F.: The constraint logic language CHIP. Proc. of the 3rd Annual ACM Symposium on Theory of Computing, 151–158 (1988)
Fourer, R., Gay, D.M., Kernighan, B.M.: AMPL: A Modeling Language for Mathematical Programming. The Scientific Press, San Francisco, CA (1993)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP Completeness. W.H. Freeman (1979)
Grune, D., Jacobs, C.J.H.: Parsing Techniques — A Practical Guide. VU University Amsterdam, Amsterdam, The Netherlands. Originally published by Ellis Horwood, Chichester, England (1990)
Halmos, P.: Naive Set Theory. Princeton, NJ: D. Van Nostrand Company (1960)
Hoffman, K.L., Padberg, M.: Solving airline crew scheduling problems by branch-and-cut. Management Science, 39(6): 657–682 (1993)
Jaffar, J., Lassez, J.L.: Constraint Logic Programming. Proc. of the 14th ACM POPL Conference, Munich, 111–119 (1987)
Johnson, S.C.: YACC: Yet Another Compiler-Compiler. Unix Programmer’s Manual. Vol 2b (1979)
Kantorovich, L.V.: Mathematical Methods of Organizing and Planning Production. Management Science, 6(4): 366–422 (1960)
Kernighan, B.W., Ritchie, D.M.: The C Programming Language (2nd ed.). Englewood Cliffs, NJ: Prentice Hall (1988)
Knuth, D.E.: Backus Normal Form vs. Backus Naur Form. Communications of the ACM 7, (12): 735–736 (1964)
Knuth, D.E.: The TeX Book (Computers and Typesetting, Volume A). Reading, Massachusetts: Addison-Wesley (1984)
Régin, J.C.: A filtering algorithm for constraints of difference in CSPs. Proc. of AAAI, 1: 362–367 (1994)
Smolka, G.: The Oz programming model. Computer Science Today, 324–343 (1995)
Solomon, M.M.: The vehicle routing and scheduling problems with time window constraints. Operations Research, 35: 254–265 (1987)
Wikipedia: Comparison of parser generators (2010)
Zhou, J.: A permutation-based approach for solving the Job-shop problem. Constraints, 2(2): 185–213 (1997)
Zhou, J.: A unified framework for solving Boolean, integer and set constraints. Proc. of ICSSSE, Beijing, 205–210 (1998)
Zhou, J.: Introduction to the constraint language NCL. JLP, 45(1–3): 71–103 (2000)
Zhou, J.: A note on mixed set programming. Proc. of the 7th International Symposium on Operations Research and Its Applications, 131–140 (2008)
Zhou, J.: The NCL Natural Constraint Language (in Chinese). Science Press, Beijing (2009)
Rights and permissions
Copyright information
© 2012 Science Press
About this chapter
Cite this chapter
Zhou, J. (2012). Introduction. In: The NCL Natural Constraint Language. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23845-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-23845-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23844-4
Online ISBN: 978-3-642-23845-1
eBook Packages: Computer ScienceComputer Science (R0)