A Parallel Execution Model for Logic Programming
<p>The Sync Model, a parallel execution method for logic programming, is proposed. The Sync Model is a multiple-solution data-driven model that realizes AND-parallelism and OR-parallelism in a logic program assuming a message-passing multiprocessor system. AND parallelism is implemented by con...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
1986
|
| Online Access: | https://thesis.library.caltech.edu/1023/1/Li_pp_1986.pdf Li, Peyyun Peggy (1986) A Parallel Execution Model for Logic Programming. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/2ngs-bp80. https://resolver.caltech.edu/CaltechETD:etd-03192008-143903 <https://resolver.caltech.edu/CaltechETD:etd-03192008-143903> |
Internet
https://thesis.library.caltech.edu/1023/1/Li_pp_1986.pdfLi, Peyyun Peggy (1986) A Parallel Execution Model for Logic Programming. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/2ngs-bp80. https://resolver.caltech.edu/CaltechETD:etd-03192008-143903 <https://resolver.caltech.edu/CaltechETD:etd-03192008-143903>