Contents of Report


[Data of Report]

Report Number:
TR457
Date of Registration:
1989.06
English Title:
Parallelism in Logic Programming
Japanese Title:
***
English Author:
K.Ueda
Japanese:
Name of Organization to which author belongs:
PDF:
tr0457.pdf

[Contents]

1Introduction.... 2
2PARALLELISM AS A COMPUTATIONAL FORMALISM.... 2
2.1Logic as a Programming Language.... 2
2.2Process Interpretation of Logic Programs.... 2
2.3The Frameworksof Ordinary and Concurrent Logic Language.... 3
2.4The Semantics of Ordinary and Concurrent Logic Programs.... 4
2.5Other Aspects.... 6
2.6Alternative to Concurrent Logic Languages.... 6
2.7Summary.... 6
3PARALLELISM FOR PERFORMANCE.... 6
3.1Parallelism in Programming and Parallelism in Implementation.... 6
3.2Parallelism and Algorithms.... 7
3.3Programming versus Uncovering Parallelism.... 7
4CONCLUSIONS.... 8
ACKNOWLEDGMENTS.... 8
REFERENCES.... 8
End.... 9


目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports