Constraint Logic Programming: A Survey

No abstract is available for this paper.

• Publication year

  1994

• Venue

  The Journal of Logic Programming

• Publication date

  1994-05-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/0743-1066(94)90033-7
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Decision Method for Elementary Algebra and Geometry

  2023cited by this paper
• Indexing for Data Models with Constraints and Classes

  1996cited by this paper
• Higher-order logic programming in

  1995cited by this paper
• The Deevolution of Concurrent Logic Programming Languages

  1995cited by this paper
• Kinematic synthesis with configuration spaces

  1995cited by this paper
• From concurrent logic programming to concurrent constraint programming

  1995cited by this paper
• A Feature Constraint System for Logic Programming with Entailment

  1994cited by this paper
• Kinematic Synthesis with Con guration Spaces

  1994cited by this paper
• Records for Logic Programming

  1994cited by this paper
• Embedding as a Tool for Language Comparison

  1994cited by this paper
• Design, Implementation, and Evaluation of the Constraint Language cc(FD)

  1994cited by this paper
• Hierarchical Constraint Logic Programming

  1994cited by this paper
• Overview of the CHIP Compiler System

  1993cited by this paper
• Applying Constraints for Scheduling

  1993cited by this paper
• A first exploration of PrologIII's capabilities

  1993cited by this paper
• Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming

  1993cited by this paper
• Solving a real life exams problem using CHIP

  1993cited by this paper
• Industrial Disposing Problem Solved in CHIP

  1993cited by this paper
• A CLP Language Handling Disjunctions of Linear Constraints

  1993cited by this paper
• Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers

  1993cited by this paper
• Hybrid Systems and Constraint Logic Programming

  1993cited by this paper
• Terminological Reasoning with Constraint Handling Rules

  1993cited by this paper
• Non-monotonic Concurrent Constraint Programming

  1993cited by this paper
• Contribution of Logic Programming to Support Telecommunications Protocol Tests

  1993cited by this paper
• On the Semantics of Optimization Predicates in CLP Languages

  1993cited by this paper
• Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers

  1993cited by this paper
• 2lp: A Highly Parallel Constraint Logic Programming Language

  1993cited by this paper
• Boolean Constraint Solving Using clp(FD)

  1993cited by this paper
• Programming in CLP(BNR)

  1993influential reference
• A categorized bibliography on incremental computation

  1993cited by this paper
• Kinematic Synthesis with Connguration Spaces

  1993cited by this paper
• Naive Solving of Non-linear Constraints

  1993cited by this paper
• Toward Practical Constraint Databases

  1993cited by this paper
• The 3 R's of optimizing constraint logic programs: refinement, removal and reordering

  1993cited by this paper
• Why and How in the ElipSys OR-parallel CLP System

  1993cited by this paper
• RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals

  1993cited by this paper
• Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques

  1993cited by this paper
• Computing Soft Constraints by Hierarchical Constraint Logic Programming

  1993cited by this paper
• Algebraic languages for mathematical programming

  1993cited by this paper
• Residuation and Guarded Rules for Constraint Logic Programming

  1993cited by this paper
• The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally

  1993cited by this paper
• Generalized Constraint Propagation over the CLP Scheme

  1993cited by this paper
• Redundancy of Variables in CLP (R)

  1993cited by this paper
• Foundations of constraint satisfaction

  1993cited by this paper
• Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques

  1993cited by this paper
• Fourier's Elimination: Which to Choose?

  1993cited by this paper
• Logic Programming with Pseudo-Boolean Constraints

  1993cited by this paper
• Functional Constraints in CLP Languages

  1993cited by this paper
• Boolean Algorithms in Prolog III

  1993cited by this paper
• Entailment and Disentailment of Order-Sorted Feature Constraints

  1993cited by this paper
• APPLAUSE: Applications Using the ElipSys Parallel CLP System

  1993cited by this paper
• Temporal Deductive Databases

  1993cited by this paper
• Variable Elimination for Disequations in Generalized Linear Constraint Systems

  1993cited by this paper
• Imperative functional programming

  1993cited by this paper
• Independence in Constraint Logic Programs

  1993cited by this paper
• Higher-Order Logic Programming as Constraint Logic Programming

  1993cited by this paper
• Constraint logic programming: selected research

  1993cited by this paper
• A Logic Programming View of CLP

  1993influential reference
• Propositional Calculus Problems in CHIP

  1993cited by this paper
• Redundancy of variables in CLD R

  1993cited by this paper
• Analysis Based Constraint Query Optimization

  1993cited by this paper
• Variable Elimination in Linear Constraints

  1993cited by this paper
• A Minimal Extension of the WAM for clp(FD)

  1993cited by this paper
• A constraint logic programming framework for constructing DNA restriction maps

  1993cited by this paper
• Temporal Logic Programming with Bounded Universal (Modality) Goals

  1993cited by this paper
• Distributed Constraint Logic Programming

  1993cited by this paper
• Flang and its Implementation

  1993cited by this paper
• Embedding extensional finite sets in CLP

  1993cited by this paper
• Simplification and Elimination of Redundant Linear Arithmetic Constraints

  1993cited by this paper
• Incremental Algorithms for Constraint Solving and Entailment over Rational Trees

  1993cited by this paper
• An abstract machine for CLP(R)

  1992cited by this paper
• A New Perspective on Integrating Functional and Logic Languages

  1992cited by this paper
• Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers

  1992cited by this paper
• Oracle Semantics for Prolog

  1992cited by this paper
• Expanding Logic Programs

  1992cited by this paper
• The CLP( ℛ ) language and system

  1992influential reference
• The category of constraint systems is Cartesian-closed

  1992cited by this paper
• SOLVING FINANCIAL DECISION PROBLEMS IN CHIP

  1992cited by this paper
• Parallel execution models and algorithms for constraint logic programming over a real-number domain

  1992cited by this paper
• Parallel Execution of CLP-R Programs

  1992cited by this paper
• Factory Scheduling Using Finite Domains

  1992cited by this paper
• A Canonical Form for Generalized Linear Constraints

  1992cited by this paper
• Contributions to the Semantics of Open Logic Programs

  1992cited by this paper
• Contraint Logic Programming - An Informal Introduction

  1992cited by this paper
• Design and implementation of practical constraint logic programming systems

  1992cited by this paper
• The Prince Project and its Applications

  1992cited by this paper
• A CLP View of Logic Programming

  1992cited by this paper
• Constraint imperative programming

  1992cited by this paper
• A Feature-Based Constraint System for Logic Programming with Entailment

  1992influential reference
• Constraint Satisfaction Using Constraint Logic Programming

  1992cited by this paper
• Pushing constraint selections

  1992cited by this paper
• Towards a Meaning of LIFE

  1991cited by this paper
• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

  1991cited by this paper
• Intelligent Backtracking for CLP Languages: An Application to CLP(R)

  1991cited by this paper
• Constructive negation for constraint logic programming

  1991cited by this paper
• Some Global Compile-Time Optimizations for CLP(R)

  1991cited by this paper
• Incremental Linear Constraint Solving and Detection of Implicit Equalities

  1991cited by this paper
• Temporal Logic Programming and its Relation to Constraint Logic Programming

  1991cited by this paper
• Logic programming in the LF logical framework

  1991cited by this paper
• Magic Templates: A Spellbinding Approach To Logic Programs

  1991cited by this paper

• Constrained Assumption-Based Argumentation Frameworks

  2026cites this paper
• Properties for Paths in Graph Databases

  2025influential citation
• SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks

  2025cites this paper
• Explainable Compliance Detection with Multi-Hop Natural Language Inference on Assurance Case Structure

  2025cites this paper
• Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching

  2025cites this paper
• Similarity-Based Constraint Solving Modulo Commutativity: A Unified Framework

  2025cites this paper
• A Flexible Framework to Ensure Traceability, Consistency, and Propagation of KPIs Evolution

  2025cites this paper
• Satisfiability Modulo Theory Meets Inductive Logic Programming

  2025cites this paper
• Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm

  2025cites this paper
• An abstract fixed-point theorem for Horn formula equations

  2025cites this paper
• Verifying Tree-Manipulating Programs via CHCs

  2025cites this paper
• Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)

  2025cites this paper
• A Validation Methodology for XAI Decision Support Systems Against Relational Domain Properties

  2025influential citation
• Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis

  2025cites this paper
• Behavior Constraint Handling Rules

  2025cites this paper
• DLF: A Deep Active Ensemble Learning Framework for Test Case Generation

  2025cites this paper
• DSPy-based neural-symbolic pipeline to enhance spatial reasoning in LLMs

  2025cites this paper
• Probabilistic Answer Set Programming with Discrete and Continuous Random Variables

  2024cites this paper
• A lightweight approach to nontermination inference using Constrained Horn Clauses

  2024cites this paper
• Planning with Incomplete Knowledge and Uncertain Goals: A Comparative Evaluation

  2024cites this paper
• Visualizing CHC Verification Conditions for Smart Contracts Auditing

  2024cites this paper
• Automatic Bit- and Memory-Precise Verification of eBPF Code

  2024cites this paper
• Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses

  2024cites this paper
• Catamorphic Abstractions for Constrained Horn Clause Satisfiability

  2024cites this paper
• Einsatz symbolischer KI in Hochschulen durch formale Modellierung von Studien- und Prüfungsordnungen

  2024cites this paper
• On-the-fly mathematical formulation for estimating people flow from elevator load data in smart building virtual sensing platforms

  2024cites this paper
• A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)

  2024cites this paper
• Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification

  2023cites this paper
• From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems

  2023cites this paper
• Extending Answer Set Programming with Rational Numbers

  2023cites this paper
• Hierarchical Constraint Logic Programming for Multi-Agent Systems

  2023cites this paper
• CHR++: An efficient CHR system in C++ with don't know non-determinism

  2023cites this paper
• Symbolic Model Construction for Saturated Constrained Horn Clauses

  2023cites this paper
• Explicit Model Construction for Saturated Constrained Horn Clauses

  2023influential citation
• Equation-based modeling and optimization-based parameter estimation in multimodal virtual sensing platforms for smart buildings

  2023cites this paper
• Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models

  2023cites this paper
• On Detecting Semantic Clones in Constraint Logic Programs

  2022cites this paper
• Multiple Query Satisfiability of Constrained Horn Clauses

  2022cites this paper
• Perception Enhancement and Improving Driving Context Recognition of an Autonomous Vehicle Using UAVs

  2022cites this paper
• A Prolog application for reasoning on maths puzzles with diagrams

  2022cites this paper
• Verifying Catamorphism-Based Contracts using Constrained Horn Clauses

  2022influential citation
• On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems

  2022cites this paper
• Fifty Years of Prolog and Beyond

  2022cites this paper
• Conceptual model visual simulation and the inductive learning of missing domain constraints

  2022cites this paper
• Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments

  2022cites this paper
• Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser

  2022cites this paper
• Artificial intelligence for decision support systems in the field of operations research: review and future scope of research

  2021cites this paper
• Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas

  2021cites this paper
• Preface

  2021cites this paper
• First-order ASP programs as CHR programs

  2021cites this paper
• A Fixed-point Theorem for Horn Formula Equations

  2021cites this paper
• Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses

  2021cites this paper
• Tree-Like Unit Refutations in Horn Constraint Systems

  2021cites this paper
• A logical and graphical framework for reaction systems

  2021cites this paper
• Defeasible Reasoning via Datalog¬

  2021cites this paper
• Mind the Gap!: Learning Missing Constraints from Annotated Conceptual Model Simulations

  2021cites this paper
• On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction

  2021cites this paper
• Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk)

  2021cites this paper
• Knowledge-Based Approach for the Perception Enhancement of a Vehicle

  2021cites this paper
• Analysis and Transformation of Constrained Horn Clauses for Program Verification

  2021influential citation
• Pairing Conceptual Modeling with Machine Learning

  2021cites this paper
• Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches

  2021cites this paper
• Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach

  2021cites this paper
• PREFACE

  2021influential citation
• SMT + ILP

  2020cites this paper
• A Survey on String Constraint Solving

  2020cites this paper
• Generalized rewrite theories, coherence completion, and symbolic methods

  2020cites this paper
• Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy

  2020cites this paper
• Dischargeable Obligations in the 𝒮CIFF Framework

  2020cites this paper
• Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, Bologna, Italy, November 27, 2020

  2020cites this paper
• Driving Context Detection and Validation using Knowledge-based Reasoning

  2020cites this paper
• Organized by

  2020cites this paper
• Institutional Knowledge at Singapore Management University Institutional Knowledge at Singapore Management University Nurse Rostering Problems: A Bibliographic Survey Nurse Rostering Problems: A Bibliographic Survey

  2020cites this paper
• A Theoretical Study of (Full) Tabled Constraint Logic Programming

  2020cites this paper
• On the Use of SMT Solvers in Model-Based Testing

  2020cites this paper
• MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators

  2020cites this paper
• Analyzing fractional Horn constraint systems

  2020cites this paper
• Constraint Solving over Multiple Similarity Relations

  2020cites this paper
• Formulog: Datalog for SMT-based static analysis

  2020cites this paper
• Program Verification via Predicate Constraint Satisfiability Modulo Theories

  2020cites this paper
• Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas

  2020cites this paper
• Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives

  2020cites this paper
• Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang

  2020influential citation
• Pattern-based Interactive Configuration Derivation for Cyber-physical System Product Lines

  2020cites this paper
• Fixpoints for the masses: programming with first-class Datalog constraints

  2020cites this paper
• Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations

  2020cites this paper
• Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD)

  2020influential citation
• An SMT-Based Concolic Testing Tool for Logic Programs

  2020cites this paper
• Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates

  2020cites this paper
• New Results on Cutting Plane Proofs for Horn Constraint Systems

  2019cites this paper
• The ZARF Architecture for Recursive Functions

  2019cites this paper
• Bridging Machine Learning and Logical Reasoning by Abductive Learning

  2019cites this paper
• Controversy Corner A generic approach to model generation operations

  2019cites this paper
• Property-Based Test Case Generators for Free

  2019cites this paper
• Datalog + SMT for Static Analysis

  2019influential citation
• Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

  2019cites this paper
• Chemical Reaction Networks and Stochastic Local Search

  2019cites this paper
• Quantified Constraint Handling Rules

  2019cites this paper
• Deep Semantics for Explainable Visuospatial Intelligence: Perspectives on Integrating Commonsense Spatial Abstractions and Low-Level Neural Features

  2019cites this paper
• Limited Number of Materials Scene Reconstruct from Mojette Projections

  2019cites this paper