A New Module System for Prolog-Reference-Cited by-同舟云学术

A New Module System for Prolog

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

Author:

Cabeza Daniel,Hermenegildo Manuel

Publisher

Springer Berlin Heidelberg

Link

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

Reference35 articles.

1. H. Aït-Kaci, A. Podelski, and G. Smolka. A feature-based constraint system for logic programming with entailment. In Proc. Fifth Generation Computer Systems 1992, pages 1012–1021, 1992.

2. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, and G. Puebla. The Ciao Prolog System. Reference Manual. TR CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997.

3. Lect Notes Comput Sci;F. Bueno,1996

4. F. Bueno, M. García de la Banda, and M. Hermenegildo. Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Trans. on Programming Languages and Systems, 21(2): 189–238, March 1999.

5. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In Int’l WS on Automated Debugging-AADEBUG’97, pages 155–170, Sweden, May 1997. U. of Linköping Press.

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

1. Types, Modes and so Much More – The Prolog Way;Prolog: The Next 50 Years;2023

2. Incremental Analysis of Logic Programs with Assertions and Open Predicates;Logic-Based Program Synthesis and Transformation;2020

3. Prolog Coding Guidelines: Status and Tool Support;Electronic Proceedings in Theoretical Computer Science;2019-09-19

4. Modularization Challenges in Prolog: What to Divide and Conquer in AI;Intelligent and Fuzzy Techniques in Big Data Analytics and Decision Making;2019-07-06

5. Exploiting Term Hiding to Reduce Run-Time Checking Overhead;Practical Aspects of Declarative Languages;2017-12-22