P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides the advantages of guarded Horn clauses while retaining don’t know non-determinism where required. This monograph presents also an or-tree model and an implementation scheme for it, to combine and- and or- parallelism with reasonable efficiency. The model and implementation scheme discussed can be applied to P-Prolog and other parallel logic languages.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● 网页 152 ● ISBN 9789814434096 ● 文件大小 2.1 MB ● 出版者 World Scientific Publishing Company ● 市 Singapore ● 国家 SG ● 发布时间 1988 ● 下载 24 个月 ● 货币 EUR ● ID 2680166 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器