Logic for problem-solving
ACM Computing Surveys (CSUR)
Communications of the ACM
A Discipline of Programming
First version of a data flow procedure language
Programming Symposium, Proceedings Colloque sur la Programmation
A realization of relational semantics in an automatic programming system.
A realization of relational semantics in an automatic programming system.
ACM SIGART Bulletin
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
A data-driven model for a subset of logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A message driven OR-parallel machine
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
A History of Data-Flow Languages
IEEE Annals of the History of Computing
Formes: An object and time oriented system for music composition and synthesis
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Compiling prolog programs for parallel execution on a cellular machine
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
| Hi-index | 0.00 |
An argument is presented for the implementation of a Prolog-like language using data driven execution, as a step towards the solution of the problems associated with multiprocessor machine architectures. To facilitate this, a number of changes and extensions to the execution control mechanism of Prolog have been implemented. Among the notable features of the system are the use of conditional AND (CAND) and conditional OR (COR) constructs to allow the programmer sequential control in the context of a parallel execution system, and mechanisms supporting dataflow execution within groups of parallel literals. A tentative solution proposed for the evaluation of negative literals is also being investigated.