Change search
ReferencesLink to record
Permanent link

Direct link
Logic Programming using Parallel Associative Operations
Columbia University.
Columbia University.
Columbia University.ORCID iD: 0000-0002-6066-746X
Columbia University.
1984 (English)Conference paper (Refereed)
Abstract [en]

In order to provide performance improvements in the execution of large logic programs, it is highly desirable to investigate the relationships between logic, data-base systems and knowledge-based systems in the context of massively parallel architectures. This paper presents a model for the interpretation of logic programs in this type of environment and overviews the algorithms under development. An interpreter that implements the model has been demonstrated in simulations on a number of small programs. Implementation requires only a small set of hardware primitives be available, these have been successfully implemented on a working prototype machines. DADO Current research aims to develop the model into a practical and efficient logic programming system for use on the machine.

Place, publisher, year, edition, pages
IEEE Computer Society, 1984. 58-68 p.
National Category
Computer Science
Research subject
URN: urn:nbn:se:kth:diva-50482ISBN: 978-0818685224ISBN: 818685220OAI: diva2:462105
1984 International Symposium on Logic Programming, Atlantic City, NJ, USA, February 6-9, 1984
QC 20111207Available from: 2011-12-06 Created: 2011-12-06 Last updated: 2013-09-09Bibliographically approved

Open Access in DiVA

No full text

Other links

Search in DiVA

By author/editor
Maguire Jr., Gerald Q.
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 21 hits
ReferencesLink to record
Permanent link

Direct link