Constraint Logic
A Comparative Study of Eight Constraint Programming Languages
Compares efficiency of 8 Constraint Logic Programming (CLP) systems in the setting of finite domains, and a specific aspect of their expressiveness: that concerning reification and…
CCL II: Construction of Computational Logics II
Working group (22457: CCL II) in the ESPRIT Basic Research program of European Union, successor project of working group CCL I: people, teams, workshop and conference, summer schoo…
CLP(R) Compiler
Description and contact for runtime, compiler (byte-code), constraint solver; free for academic and research use.
CLP(R): Using CLP(R)
Manual, Postscript (450K) or gzipped (130K), from University of New South Wales.
Constraint Logic Programming: CLP
CLP page at Austrian Research Institute for Artificial Intelligence (ÖFAI), University of Vienna, Austria: past and present projects and members, teaching, links.
DFKI: MAS Publications: Multi-Agent Systems
Abstract and PostScript version of 'Multi-Agent Planning Using an Abductive Event Calculus' in which a planning service module is incorporated into a constraint-logic framework to …
ECLiPSe: The ECRC Constraint Logic Parallel System
Compiler-oriented development environment for constraint-logic applications with extended Prolog technology, persistent knowledge base, constraint-handling facilities and paralleli…
Elf Meta-Language
Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logic…
FormulaOne
Constraint logic programming (CLP) based language. Backtracking, advanced data types (including "Bignum") and data structures. IDE/Compiler for Windows 9x/NT/2000/XP.
Intelligent Systems Lab: ISL
At Simon Fraser University, Canada. Research: artificial intelligence including constraint reasoning, heuristic search, intelligent agents. Applies such methods to applications in …
JICSLP'96 Workshop on Parallelism and Implementation Technology
Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages.
ResearchIndex: Hierarchical Constraint Logic Programming
A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, document formatting, deci…
Why Can't Humans Talk to a Computer?
The technical problems are answered by non-procedural logical constraint-based languages like Prolog.
Showing 20–17 of 17 results