P-PROLOG: A Parallel Logic Programming Language

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.

Détails du produit

• Auteurs: Rong Yang, Rong (Univ Of The West Of England Yang
• Edition: World Scientific Publishing Company
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 01.01.1988
• EAN: 9789971505080
• ISBN: 978-9971-5-0508-0
• Pages: 152
• Thèmes: World Scientific Series in Com; World Scientific Series In Computer Science; World Scientific Series In Computer Science; World Scientific Computer Scie
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique