Contents of Report


[Data of Report]

Report Number:
TR0495
Date of Registration:
1989.03
English Title:
Parallelism in Logic Programming
Japanese Title:
***
English Author:
K.Ueda
Japanese:
***
Name of Organization to which author belongs:
ICOT
PDF:
tr0495.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Parallelizm as a Computational Formalism.... 2
2.1Logic as a Programming Language.... 2
2.2Process Interpretation of Logic Programs.... 2
2.3The Frameworks of Ordinary and Concurrent Logic Language.... 3
2.4The Semantic of Ordinary and Concurrent Logic Programs.... 4
2.5Other Aspects.... 6
2.6Alternative to Concurrent Logic Language.... 6
2.7Summary.... 6
3Paralleism for Performance.... 6
3.1Parallelism in Programming and Parallelism in Implementation.... 6
3.2Parallelism and Algorithm.... 7
3.3Programming versus Uncovering Parallelism.... 7
4Conclusion.... 8
Acknowledgements.... 8
References.... 8
End.... 9


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

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