Page 5

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

Page Metadata

Title Page 5
Setname ir_computersa
ID 95272
Reference URL https://collections.lib.utah.edu/ark:/87278/s6f78cn2/95272