Design of the CONSUL programming language. Technical report
Technical Report
·
OSTI ID:5152535
The problem of automatically exploiting parallelism in computer programs, with particular emphasis on linguistic barriers to parallelism detection is studied. Although functional languages and Prolog have many desirable characteristics in this respect, they are not entirely ideal. The author therefore offers constraint-based programming as a generalization of logic programming. By virtue of the more-flexible ways in which they allow relations to be defined, constraint languages support more-natural descriptions of potentially parallel algorithms than do existing logic or functional languages. A prototype constraint language called CONSUL is introduced, which demonstrates features felt to make constraint languages well-suited for general-purpose programming of multiprocessors. The extra expressiveness of constraint languages comes at a price, namely that satisfaction of general constraints can be much more difficult than satisfaction of predicates for a language like Prolog. Nonetheless, it is thought that effective compilers for constraint languages can be built, and some ideas on which they could be based are outlined.
- Research Organization:
- Rochester Univ., NY (USA). Dept. of Computer Science
- OSTI ID:
- 5152535
- Report Number(s):
- AD-A-189202/5/XAB; TR-208
- Country of Publication:
- United States
- Language:
- English
Similar Records
Constraint logic programming languages
Natural language understanding and logic programming
Proceedings of the IEEE Computer Society 1986 international conference on computer languages
Journal Article
·
Sun Jul 01 00:00:00 EDT 1990
· Communications of the ACM (Association of Computing Machinery); (USA)
·
OSTI ID:6597394
Natural language understanding and logic programming
Book
·
Mon Dec 31 23:00:00 EST 1984
·
OSTI ID:6689318
Proceedings of the IEEE Computer Society 1986 international conference on computer languages
Conference
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6487810