Modularization and Abstraction in Logic Programming
作者： Koichi Furukawa , Reiji Nakajima , Akinori Yonezawa
DOI: 10.1007/BF03037423
关键词:
摘要: In knowledge information processing, the structuring of and algorithms is one key issues. The goal this work to introduce concepts mechanisms abstraction, modularization parameterization into logic programming, which preliminary steps toward creating a kernel language for fifth generation computer systems.
springer.com
sci-hub.se 参考文章(7)
Koichi FURUKAWA, Reiji NAKAJIMA, Akinori YONEZAWA, Shigeki GOTO, Akio AOYAMA, PROBLEM SOLVING AND INFERENCE MECHANISMS Fifth Generation Computer Systems. pp. 131- 138 ,(1982) , 10.1016/B978-0-444-86440-6.50008-6
Péter Szeredi, Edit Sántáné-Tóth, Zsuzsa Farkas, LDM: A Program Specification Support System. international conference on lightning protection. pp. 123- 128 ,(1982)
Keith L. Clark, Steve Gregory, A relational language for parallel programming international conference on functional programming. pp. 171- 178 ,(1981) , 10.1145/800223.806776
Reiji Nakajima, Michio Honda, Hayao Nakahara, Hierarchical program specification and verification -- a many-sorted logical approach Acta Informatica. ,vol. 14, pp. 135- 155 ,(1980) , 10.1007/BF00288541
Barbara Liskov, Alan Snyder, Russell Atkinson, Craig Schaffert, Abstraction mechanisms in CLU Communications of the ACM. ,vol. 20, pp. 564- 576 ,(1977) , 10.1145/359763.359789
Robert Kowalski, Steve Smoliar, Logic for problem solving ,(1979)
C. A. R. Hoare, E. W. Dijkstra, O. J. Dahl, Structured Programming ,(1972)