YAP-Prolog

The YAP prolog system. 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.


References in zbMATH (referenced in 44 articles , 2 standard articles )

Showing results 21 to 40 of 44.
Sorted by year (citations)
  1. Areias, Miguel; Rocha, Ricardo: On combining linear-based strategies for tabled evaluation of logic programs (2011)
  2. Costa, Vítor Santos; Damas, Luís; Rocha, Ricardo: The YAP prolog system (2011) ioport
  3. De Guzmán, Pablo Chico; Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V.: Parallel backtracking with answer memoing for independent and-parallelism (2011)
  4. Kalgi, Srihari; Gosar, Chirag; Gawde, Prasad; Ramakrishnan, Ganesh; Gada, Kekin; Iyer, Chander; Kiran, T. V. S.; Srinivasan, Ashwin: BET: An inductive logic programming workbench (2011) ioport
  5. Kimmig, Angelika; Demoen, Bart; De Raedt, Luc; Costa, Vítor Santos; Rocha, Ricardo: On the implementation of the probabilistic logic programming language ProbLog (2011)
  6. Corapi, Domenico; Russo, Alessandra; Lupu, Emil: Inductive logic programming as abductive search (2010)
  7. Costa, Vítor Santos; Dutra, Inês; Rocha, Ricardo: Threads and or-parallelism unified (2010)
  8. Ma, Jiefei; Russo, Alessandra; Broda, Krysia; Hosobe, Hiroshi; Satoh, Ken: On the implementation of speculative constraint processing (2010)
  9. Mantadelis, Theofrastos; Janssens, Gerda: Dedicated tabling for a probabilistic setting (2010)
  10. Chen, Jianzhong; Muggleton, Stephen; Santos, José: Learning probabilistic logic models from probabilistic examples. (Extended abstract) (2008)
  11. Chen, Jianzhong; Muggleton, Stephen; Santos, José: Learning probabilistic logic models from probabilistic examples (2008) ioport
  12. Garcia de la Banda, Maria (ed.); Pontelli, Enrico (ed.): Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9--13 2008. Proceedings (2008)
  13. Kimmig, Angelika; Santos Costa, Vítor; Rocha, Ricardo; Demoen, Bart; De Raedt, Luc: On the efficient execution of ProbLog programs (2008)
  14. Santos Costa, Vítor; Page, David; Cussens, James: CLP((\mathcalBN)): Constraint logic programming for probabilistic knowledge (2008)
  15. Schrijvers, Tom; Santos Costa, Vítor; Wielemaker, Jan; Demoen, Bart: Towards typed Prolog (2008)
  16. Lin, Ji-Zi; Wu, Shao-Yi; Fu, Qiang; Zhang, Hua-Ming: Studies of the local structure and the (g) factors for the orthorhombic Ti(^3+) center in YAP (2007)
  17. Pontelli, Enrico; Villaverde, Karen; Guo, Hai-Feng; Gupta, Gopal: PALS: Efficient or-parallel execution of prolog on Beowulf clusters (2007)
  18. da Silva, Anderson Faustino; Costa, Vítor Santos: The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages (2006)
  19. Etalle, Sandro (ed.); Truszczynski, Miroslav (ed.): Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings (2006)
  20. Soares, Tiago: Deductive databases: Implementation, parallelism and applications (2006)