Compositional operational semantics for Prolog programs-Reference-Cited by-同舟云学术

Compositional operational semantics for Prolog programs

Published:1992-08 Issue:3 Volume:10 Page:315-328
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener Comput

Author:

Cheng M. H. M.,Horspool R. N.,Levy M. R.,van Emden M. H.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03037941.pdf

Reference13 articles.

1. Apt, K. R. and van Emden, M. H., “Contributions to the Theory of Logic Programming,”Journal of the ACM, 29, 3, pp. 841–862, 1982.

2. Byrd, L., “Understanding the Control Flow of Prolog Programs,” inLogic Programmign Workshop, Proceedings of the Workshop in Debrecen, Hungary, 14–16 July 1980, pp. 127–138, 1980.

3. Clark, K. L., “Predicate Logic as a Computational Formalism,”Technical Report, DOC 79/59, Department of Computing, Imperial College, 1979.

4. Colmerauer, A., Kanoui, H., Paséro, R. and Roussel, P., “Un système de communication homme-machine en français,”Technical Report, Groupe d’Intelligence Artificielle, Université d’Aix-Marseille II, 1972.

5. Delrieux, C., Azero, P. and Tohmé, F., “Toward Integrating Imperative and Logic Programming Paradigms: A WYSIWYG Approach to Prolog Programming,” ACM SIGPLAN Notices,26, 3, pp. 35–44, 1991.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog;Logic-Based Program Synthesis and Transformation;2012

2. Toward the Concept of Backtracking Computation;Electronic Notes in Theoretical Computer Science;2005-05