Author:
COSTA VÍTOR SANTOS,ROCHA RICARDO,DAMAS LUÍS
Abstract
AbstractYet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then. This paper presents the general structure and design of the YAP system, focusing on three important contributions to the Logic Programming community. First, it describes the main techniques used in YAP to achieve an efficient Prolog engine. Second, most Logic Programming systems have a rather limited indexing algorithm. YAP contributes to this area by providing a dynamic indexing mechanism, or just-in-time indexer. Third, a important contribution of the YAP system has been the integration of both or-parallelism and tabling in a single Logic Programming system.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Reference81 articles.
1. Van Roy P. 1990. Can logic programming execute as fast as imperative programming? PhD Thesis, University of California, Berkeley, CA.
Cited by
78 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog;International Journal of Parallel Programming;2024-03-23
2. The Janus System: Multi-paradigm Programming in Prolog and Python;Electronic Proceedings in Theoretical Computer Science;2023-09-12
3. Disjunctive Delimited Control;Theory and Practice of Logic Programming;2023-04-11
4. The Janus System: A Bridge to New Prolog Applications;Prolog: The Next 50 Years;2023
5. Making ProB Compatible with SWI-Prolog;Theory and Practice of Logic Programming;2022-06-27