The design and implementation of an OR-parallel logic programming system

Update Item Information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Tinker, Peter A.
Title The design and implementation of an OR-parallel logic programming system
Date 1987-08
Description The research focus in OR-parallel logic programming is shifting rapidly from theoretical considerations and simulation on uniprocessors to implementation on true multiprocessors. This dissertation describes the design and implementation of such a system or OR-parallel Horn clause logic programs on the BBN Butterfly Parallel Processor.
Type Text
Publisher University of Utah
Subject OR-parallel; computers
Subject LCSH Logic programming; Parallel processing (Electronic computers); Multiprocessors
Language eng
Bibliographic Citation Tinker, P. A. (1987). The design and implementation of an OR-parallel logic programming system.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Format Medium application/pdf
Format Extent 187,545 Bytes
File Name Tinker-The_Design_and_Implementation.pdf
Conversion Specifications Original scanned with Kirtas 2400 and saved as 400 ppi uncompressed TIFF. PDF generated by Adobe Acrobat Pro X for CONTENTdm display
ARK ark:/87278/s6f78cn2
Setname ir_computersa
ID 95418
Reference URL https://collections.lib.utah.edu/ark:/87278/s6f78cn2
Back to Search Results