Screamer

Temperance

A logic programming library for Common Lisp.

cl-prolog2

Common 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.

AP5

allows users to program in a model of first order logic or a relational database. 1989, updated 2024. Public domain