Skip to search formSkip to main contentSkip to account menu

CHIP (programming language)

Known as: CHIP programming language, Chip 
CHIP (Constraint Handling in Prolog) is a constraint logic programming language developed by M. Dincbas and alias in 1985 at ECRC, initially using a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
C++Constraint programmingILOGProlog

Broader (1)

Constraint logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Building Industrial CHIP Applications from Reusable Software Components
In this paper we present results on the systematic reuse of components in a number of large scale applications. The applications… 
2003
2003
Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling
A relevant class of real-world scheduling problems, e.g. for assembly lines, service centres but also for surgeries in operation… 
2000
2000
A Combined Approach to High-Level Synthesis for Dynamically Reconfigurable Systems
In this paper, two complementary design models and related synthesis techniques are combined to capture behavioral and structural… 
Review
1995
Review
1995
Application Development with the CHIP System
In this paper we give an overview of industrial application development with the CHIP system. CHIP is a constraint logic… 
1994
1994
Experiences in using Prolog to develop a practical constraint solver
  • P. Lim
  • Proceedings Sixth International Conference on…
  • 1994
  • Corpus ID: 42815265
Sophisticated Prolog implementations like ECL/sup i/PS/sup e/, with automatic memory management and facilities for data-driven… 
1993
1993
Interval Computation as Deduction in CHIP
1993
1993
Propositional Calculus Problems in CHIP
This paper describes how to model and solve boolean satisfiability problems with the constraint logic programming language CHIP… 
Review
1991
Review
1991
The CLP language CHIP: constraint solving and applications
A short overview of the constraint logic programming language CHIP is presented. Constraint logic programming is a class of… 
1990
1990
A Constraint Logic Programming Shell
The Constraint Logic Programming (CLP) scheme generalizes the model-theoretic and operational models of logic programming to… 
1989
1989
Simulation of Hybrid Circuits in Constraint Logic Programming
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)