Ciao is a modern Prolog implementation that builds up from a logic-based...
Constraint Logic Programming over Finite Domains
An extensible, lightweight relational/logic programming DSL written in p...
Open library with source code for OpenCobol, GnuCobol AS 400 COBOL, CL, ...
This book offers a theoretical and computational presentation of a varie...
The QShell on IBM i library contains useful CL wrapper commands to allow...
Boolean Constraint Solving in Prolog