Constraint logic programming languages
Journal Article
·
· Communications of the ACM (Association of Computing Machinery); (USA)
- Michtom School of Computer Science, Brandeis Univ., MA (US)
Constraint logic programming (CLP) is an extension of logic programming aimed at replacing the pattern matching mechanism of unification, as used in Prolog, by a more general operation called constraint satisfaction. This article provides a panoramic view of the recent work done in designing and implementing CLP languages. It also presents a summary of their theoretical foundations, discusses implementation issues, compares the major CLP languages, and suggests directions for further work.
- OSTI ID:
- 6597394
- Journal Information:
- Communications of the ACM (Association of Computing Machinery); (USA), Vol. 33:7; ISSN 0001-0782
- Country of Publication:
- United States
- Language:
- English
Similar Records
Design of the CONSUL programming language. Technical report
Role of PROLOG (Programming and Logic) in natural-language processing. Report for September-December 1987
A constraint logic programming algorithm for solving thermal unit commitment problem
Technical Report
·
Sun Feb 01 00:00:00 EST 1987
·
OSTI ID:6597394
Role of PROLOG (Programming and Logic) in natural-language processing. Report for September-December 1987
Technical Report
·
Tue Mar 01 00:00:00 EST 1988
·
OSTI ID:6597394
A constraint logic programming algorithm for solving thermal unit commitment problem
Conference
·
Sun Dec 31 00:00:00 EST 1995
·
OSTI ID:6597394