Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,115,618 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
C++
Constraint programming
ILOG
Prolog
Broader (1)
Constraint logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
What Language Do You Use to Create Your AI Programs and Why?
Hendrik Buschmeier
,
Ramin Yaghoubzadeh
,
Christian Pietsch
,
S. Kopp
KI - Künstliche Intelligenz
2011
Corpus ID: 15453651
When ‘AI Languages’ was proposed as a special topic for this journal, a lively discussion started between the editors. On the one…
Expand
2003
2003
Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling
Armin Wolf
ERCIM Annual Workshop on Constraint Solving and…
2003
Corpus ID: 9495673
A relevant class of real-world scheduling problems, e.g. for assembly lines, service centres but also for surgeries in operation…
Expand
2000
2000
A Combined Approach to High-Level Synthesis for Dynamically Reconfigurable Systems
Xue-Jie Zhang
,
K. Ng
,
W. Luk
International Conference on Field-Programmable…
2000
Corpus ID: 26506548
In this paper, two complementary design models and related synthesis techniques are combined to capture behavioral and structural…
Expand
1997
1997
CSL. I. Modelling general N-ary, logical CSPs
J. Tay
,
S. Y. Huang
,
Hiok Chai Quek
Proceedings Ninth IEEE International Conference…
1997
Corpus ID: 43428734
Examines and details the motivations and design of a constraint specification language (CSL) for user-defined constraints. Many…
Expand
1995
1995
Risc-clp(tree(()) a Constraint Logic Programming System with Parametric Domain
H. Hong
,
Stefan RatschanMay
1995
Corpus ID: 16985876
Current implementations of constraint logic programming languages (like CLP(<), CHIP or RISC-CLP(Real) support constraint solving…
Expand
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…
Expand
1993
1993
CHIP in plain logic
M. Levy
,
M. Van Emden
Proceedings of IEEE Pacific Rim Conference on…
1993
Corpus ID: 61110524
The programming language Prolog allows succinct representation of a wide variety of scheduling problems. To speed up execution, a…
Expand
1990
1990
A Constraint Logic Programming Shell
P. Lim
,
Peter James Stuckey
Symposium on Programming Language Implementation…
1990
Corpus ID: 46088545
The Constraint Logic Programming (CLP) scheme generalizes the model-theoretic and operational models of logic programming to…
Expand
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)
ACCEPT & CONTINUE