| 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 |
