Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects-Reference-Cited by-同舟云学术

Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects

Published:2000 Issue: Volume: Page:1225-1239
ISSN:0302-9743
Container-title:Computational Logic — CL 2000
language:
Short-container-title:

Author:

Tarau Paul

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44957-4_82

Reference18 articles.

1. J.-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. In D.H.D. Warren and P. Szeredi, editors, 7th Int. Conf. Logic Programming, Jerusalem, Israel, 1990. MIT Press.

2. Yves Bekkers and Paul Tarau. Monadic Constructs for Logic Programming. In John Lloyd, editor, Proceedings of ILPS’95, pages 51–65, Portland, Oregon, December 1995. MIT Press.

3. P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The Standard. Springer-Verlag, Berlin, 1996. ISBN: 3-540-59304-7.

4. E. Gamma, R. Helm, R. Johnson, J. Vlissides, and G. Booch. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing. Addison-Wesley, 1995. ISBN: 0201633612.

5. J.-Y. Girard. Linear logic. Theoretical Computer Science, (50):1–102, 1987.

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

1. Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem;Electronic Proceedings in Theoretical Computer Science;2023-09-12

2. Lazy Stream Programming in Prolog;Electronic Proceedings in Theoretical Computer Science;2019-09-19

3. Iteratees;Functional and Logic Programming;2012

4. Coordination and Concurrency in Multi-engine Prolog;Lecture Notes in Computer Science;2011

5. Improving Prolog Programs: Refactoring for Prolog;Logic Programming;2004