Grammar and Semantics

  • Jianyang Zhou

Abstract

This chapter presents NCL’s grammar and its semantics. Different from imperative languages such as C (Kernighan and Ritchie 1988) and declarative languages such as Prolog (Colmerauer et al. 1973), NCL uses mathematical logic to model a problem and uses mixed set programming algorithms to solve it.

Keywords

Boolean Expression Fast Query Solution Count Custom Message Query Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)Google Scholar
  2. Kernighan, B.W., Ritchie, D.M.: The C Programming Language (2nd ed.). Englewood Cliffs, NJ: Prentice Hall (1988)Google Scholar
  3. Zhou, J.: Introduction to the constraint language NCL. JLP, 45(1–3): 71–103 (2000)MATHCrossRefGoogle Scholar
  4. Zhou, J.: The NCL Natural Constraint Language (in Chinese). Science Press, Beijing (2009)Google Scholar

Copyright information

© Science Press 2012

Authors and Affiliations

  • Jianyang Zhou

There are no affiliations available

Personalised recommendations