Jump to content United States-English
HP.com Home Products and Services Support and Drivers Solutions How to Buy
» Contact HP

hp.com home


Eclipse (from Cisco)-based Constraint-Solving Plug-in

Content starts here


HP Labs

» Research
» News and events
» Technical reports
» About HP Labs
» Careers @ HP Labs
» People
» Worldwide sites
» Downloads
Content starts here

There is available a plug-in which uses the constraint-solving engine: Eclipse (from Cisco Systems); not to be confused with the Java-based IDE of the same name.

The plug-in is designed to work alongside the experimental constraint extensions to the SmartFrog system. These extensions are documented in the main SmartFrog release.

Part of the design is to allow experimentation with different constraint solvers. At the moment, however, we are concentrating on the use of Eclipse.  Eclipse is essentially the logic programming language Prolog, augmented with support for constraint solving.

The plug-in enables users of the language to experiment with such constraint capabilities, by defining constraint predicates as Eclipse queries and attaching them to the various component descriptions. Some parts of the constraints may be left as unbound variables, and the Eclipse interpreter will search for bindings for these variables that satisfy the predicates.  Constraint extensions are meant as a means of completing and validating Smartfrog descriptions. 

The current release of support for constraint extensions is largely experimental and should be seen as one small step in what will become a larger journey into true constraint resolution, properly integrated into a next generation SmartFrog language.

Eclipse is available under Mozilla Public Licence, from: http://eclipse.crosscoreop.com/index.html.

For information concerning the use of the "csf" constraint extensions, see the accompanying documentation.

Updated 25 June 2007

Issue tracking
Email archive
Describe / Activate / Manage Graphic

Privacy statement Using this site means you accept its terms Feedback to HP Labs
© 2009 Hewlett-Packard Development Company, L.P.