The YAP Prolog System

Details The YAP Prolog System The YAP Prolog System

2011-02-18

arxiv.org/abs/1102.3896v1

Computer Science

Programming Languages

30 pages, 2 figures. To appear in Theory and Practice of Logic Programming (TPLP)

Scientific paper

Yet 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 (JITI). Third, a important contribution of the YAP system has been the integration of both or-parallelism and tabling in a single Logic Programming system.

Affiliated with

Also associated with

No associations

Rating

The YAP Prolog System does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The YAP Prolog System, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The YAP Prolog System will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-213522