Efficient Compilation of Lazy Narrowing into Prolog-Reference-Cited by-同舟云学术

Efficient Compilation of Lazy Narrowing into Prolog

Published:1993 Issue: Volume: Page:253-270
ISSN:1431-1682
Container-title:Logic Program Synthesis and Transformation
language:
Short-container-title:

Author:

Jiménez-Martín José Andrés,Mariño-Carballo Julio,Moreno-Navarro Juan José

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3560-9_18

Reference29 articles.

1. S. Antoy: Lazy Evaluation in Logic, Proceedings PLILP’91

2. Springer Verlag, 1991, LNCS 528, pp. 371–382. [An91b] S. Antoy: Non-Determinism and Lazy Evaluation in Logic Programming, LOPSTR’91. [BL86] M. Bellia, G. Levi: The Relation between Logic and Functional

3. Languages, Journal of Logic Programming 3, 1986, pp. 217–236. [BGLMP87] G.P. Bosco, E. Giovanetti,G. Levi,C. Moisso, C. Palamidessi: A complete semantic characterization of K-LEAF, A logic language with partial evaluation, Symposium on Logic Programming, S. Francisco, 1987.

4. P.G. Bosco, E. Giovannetti, C. Moiso: Narrowing versus SLD- resolution, Theoretical Computer Science 59, 1988, pp. 3–23.

5. P.G. Bosco, C. Cecchi, E. Giovannetti, C. Moiso, C. Palamidessi: Using Resolution for a Sound and Efficient Integration of Logic and Functional Programming, in: J. de Bakker (ed.), Languages for parallel architectures: Design, Semantics, Implementation Models, Wiley 1989

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

1. Improving Logic Programs by Adding Functions;Lecture Notes in Computer Science;2024

2. From Logic to Functional Logic Programs;Theory and Practice of Logic Programming;2022-07

3. Functional Logic Programming: From Theory to Curry;Programming Logics;2013

4. Reporting Failures in Functional Logic Programs;Electronic Notes in Theoretical Computer Science;2007-06

5. Compiling Multi-paradigm Declarative Programs into Prolog;Frontiers of Combining Systems;2000