Loading...
Please wait, while we are loading the content...
Similar Documents
The YAP Prolog system
| Content Provider | Scilit |
|---|---|
| Author | Costa, Vítor Santos Rocha, Ricardo Damas, Luís |
| Copyright Year | 2011 |
| Description | 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. Third, a important contribution of the YAP system has been the integration of both or-parallelism and tabling in a single Logic Programming system. |
| Related Links | http://repositorio.inesctec.pt/bitstream/123456789/3473/1/PS-10844.pdf |
| ISSN | 14710684 |
| e-ISSN | 14753081 |
| DOI | 10.1017/s1471068411000512 |
| Journal | Theory and Practice of Logic Programming |
| Issue Number | 1-2 |
| Volume Number | 12 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2011-10-18 |
| Access Restriction | Open |
| Subject Keyword | Theory and Practice of Logic Programming Hardware and Architecture |
| Content Type | Text |
| Resource Type | Article |
| Subject | Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software |