• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Popular Tags

Add a tag:

No tags have been applied to this document.

BibTeX | Add To MetaCart

@MISC{White98constrainthandling,
    author = {Simon White and Aucs Tr and S. White and Derek Sleeman},
    title = {Constraint Handling in Common LISP},
    year = {1998}
}

Bookmarks

         

OpenURL

 

Abstract:

We demonstrate how constraint programming can be achieved in Common LISP, and share our experience of the Common LISP Constraints Package, SCREAMER. We found the package to be a very useful basis for constraint programming in LISP, but were surprised to see that it provides very little support for combining constraints with many typical LISP data structures. We have addressed these shortcomings by providing an additional library of functions, called SCREAMER . This extension develops the constraint handling package of SCREAMER in three major directions. Firstly, it provides facilities for expressing and manipulating constraints on LISP lists (including lists interpreted as sets). Secondly, it extends the capabilities for combining constraints with higher order functions in LISP (including logical predicates such as some, and every). Lastly, it includes functions for dealing with constraints on object-oriented representations in the form of CLOS objects.

Citations