NeMo+: Object-oriented constraint programming environment based on subdefinite models

  • Igor Shvetsov
  • Vitaly Telerman
  • Dmitry Ushakov
Session 7b
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1330)


In this paper we examine a constraint programming environment NeMo+, which embraces a “C++ - based” technique. It includes a high-level object-oriented declarative language for specification of data types and constraints. To solve systems of constraints, NeMo+ uses the method of so-called subdefinite models, which we briefly review in the first part of the paper. The architecture of NeMo+ and its main capabilities are presented in the paper.


Data Type Logic Program Constraint Satisfaction Constraint Satisfaction Problem Interval Arithmetic 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Colmerauer A. An introduction to Prolog III, Comm.ACM, 33(7), (1990), 69–90.Google Scholar
  2. [2]
    Jaffar J., et al. The CLP(R) language and system, ACM Transactions on Programming Languages and Systems, 14(3), (1992), 339–395.Google Scholar
  3. [3]
    Benhamou F., McAllester D., Van Hentenryck P. CLP(Intervals) Revisited, Proceedings of ILPS-94, Ithaca, NY, (1994), (124–138).Google Scholar
  4. [4]
    Van Hentenryck P. Constraint Satisfaction in Logic Programming, Logic Programming Series, The MIT Press, Cambridge, MA, 1989.Google Scholar
  5. [5]
    Codognet P., Diaz D. Boolean Constraint Solving Using clp(FD). Proc. of the International Logic Programming Symposium, (1993), 525–539.Google Scholar
  6. [6]
    Puget J.-F. A C++ Implementation of CLP, Tech. Report, Ilog, January 1994.Google Scholar
  7. [7]
    Narin'yani A.S. Subdefinite Set-a Formal Model of Uncompletely Specified Aggregate, Proc. of the Symp. on Fuzzy Sets and Possibility Theory, Acapulco, (1980).Google Scholar
  8. [8]
    Narin'yani A.S. Subdefiniteness and Basic Means of Knowledge Representation, Computers and Artificial Intelligence, Bratislawa, 2, No.5, (1983), 443–452.Google Scholar
  9. [9]
    Telerman V., Ushakov D. Subdefinite Models as a Variety of Constraint Programming, Proc. of the Intern. Conf. Tools of Artificial Intelligence, Toulouse, 1996.Google Scholar
  10. [10]
    Shvetsov I., Semenov A., Telerman V. Application of Subdefinite Models in Engineering, Artificial Intelligence in Engineenring 11 (1997), 15–24.Google Scholar
  11. [11]
    Narin'yani A.S., Borde S.B., Ivanov D.A. Subdefinite Mathematics and Novel Scheduling Technology, Artificial Intelligence in Engineenring 11 (1997).Google Scholar
  12. [12]
    Alefeld G., Herzberger Ju.: Introduction in Interval Computations, Academic Press, New York, 1983.Google Scholar
  13. [13]
    Hyvonen E. Constraint Reasoning Based on interval Arithmetic: the tolerance propagation approach, Artificial Intelligence, V.58, (1992), 71–112.Google Scholar
  14. [14]
    Telerman V., et al. Interval and Multiinterval Extensions in Subdefinite Models, International Conf. on Interval Methods and Computer Aided Proofs in Science and Engineering (INTERVAL'96), Wurzburg, (1996), 131–132.Google Scholar
  15. [15]
    Benhamou F., Older W.J. Applying Interval Arithmetic to Real, Integer and Boolean Constraints, Journal of Logic Programming, 1996.Google Scholar
  16. [16]
    van Emden M.H. Value constraints in the CLP scheme, Proc. of the ILPS-95, Workshop on Interval Constraints, Portland, Oregon, 1995.Google Scholar
  17. [17]
    Benhamou F. Heterogeneous Constraint Solving, Proc. of the 5th Intern. Conf. on Algebraic and Logic Programming, LNCS 1139, Springer, (1996), 62–76.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Igor Shvetsov
    • 1
  • Vitaly Telerman
    • 1
  • Dmitry Ushakov
    • 1
  1. 1.Russian Academy of Sciences, Siberian Division & Russian Research Institute of Artificial IntelligenceInstitute of Informatics SystemsGermany

Personalised recommendations