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), Journal Name: Communications of the ACM (Association of Computing Machinery); (USA) Vol. 33:7; ISSN CACMA; ISSN 0001-0782
- Country of Publication:
- United States
- Language:
- English
Similar Records
Design of the CONSUL programming language. Technical report
Logic programming
Role of PROLOG (Programming and Logic) in natural-language processing. Report for September-December 1987
Technical Report
·
Sat Jan 31 23:00:00 EST 1987
·
OSTI ID:5152535
Logic programming
Book
·
Sat Dec 31 23:00:00 EST 1988
·
OSTI ID:5903373
Role of PROLOG (Programming and Logic) in natural-language processing. Report for September-December 1987
Technical Report
·
Mon Feb 29 23:00:00 EST 1988
·
OSTI ID:7029183