Live briefing
Everything about Concurrent constraint logic programming
Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than solving constraint satisfaction problems. Goals in constraint logic programming are evaluated concurrently; a concurrent process is therefore programmed as the evaluation of a goal by the interpreter. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Concurrent constraint logic programmingA 5-minute orientation
- Pick up a classic book: Structure and Interpretation of Computer Programs (SICP)The most-reprinted book on the subject
- Read the landmark paper: Actors as a special case of concurrent constraint (logic) programmingCited 5 times
- Go sideways: Constraint logic programmingA closely related topic
- Go sideways: Concurrent logic programmingA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Actors as a special case of concurrent constraint (logic) programming
ATTRIBUTE GRAMMAR BASED MODELING OF CONCURRENT CONSTRAINT LOGIC PROGRAMMING
Constraint Satisfaction in Distributed Concurrent Logic Programming
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
đź“š Books worth reading
Structure and Interpretation of Computer Programs (SICP)Harold Abelson, Gerald Jay Sussman · 1985
Treaty Occupationay ToxicologySuelen Queiroz · 2010
SystemVerilog for VerificationChris Spear · 2006
Concepts, techniques, and models of computer programmingPeter Van Roy, Seif Haridi · 2004
Programming with constraintsKim Marriott · 1998
Constraints Meet ConcurrencyJacopo Mauro · 2014
Programming Languages and SystemsRanjit Jhala · 2012- 📕Proceedings of the ACM SIGSOFT '89Symposium on Software Testing, Analysis, and Verification (3rd 1989 Key West, Fla.) · 1989
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- Constraint logic programming Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction…
- Concurrent logic programming Concurrent logic programming is a variant of logic programming designed for parallel computing in which programs are sets of guarded Horn clauses of the…
- Constraint satisfaction In artificial intelligence and operations research, constraint satisfaction is the process of finding a solution through a set of constraints that impose…
- Logic programming Logic programming is a programming, database, and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical…
- Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog…
- Datalog Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down…
- Constraint Handling Rules Constraint Handling Rules (CHR) is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Indus…
- Constraint programming Constraint programming (CP) is a paradigm for solving combinatorial problems that draws on a wide range of techniques from artificial intelligence, computer…