Overview
allows users to program in a model of first order logic or a relational database. 1989, updated 2024. Public domain
Related Projects
ScreamerScreamer is an extension of Common Lisp that adds support for nondeterministic programming.
TemperanceA logic programming library for Common Lisp.
cl-prolog2Common Interface to ISO Prolog implementations from Common Lisp
Screamer+SCREAMER+ is a Common Lisp library that builds upon the SCREAMER constraint logic programming system, providing additional expressive capabilities for solving constraint satisfaction problems. It enhances the original SCREAMER framework with more powerful constructs and utilities, making it easier to model and solve complex logical and combinatorial problems in Lisp. ## Key Features - **Enhanced Expressiveness** — Extends SCREAMER with additional constructs and utilities for more sophisticated constraint modeling - **Constraint Logic Programming** — Provides a declarative programming environment for specifying and solving constraint satisfaction problems - **Common Lisp Integration** — Seamlessly integrates with Common Lisp ecosystems and development workflows - **Backward Compatibility** — Maintains compatibility with existing SCREAMER code while adding new capabilities ## Philosophy SCREAMER+ follows the philosophy of extending rather than replacing existing tools, building upon SCREAMER's solid foundation to provide more expressive power while maintaining the elegance and simplicity of constraint logic programming in Lisp.
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.