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 31 articles , 2 standard articles )

Showing results 1 to 20 of 31.
Sorted by year (citations)

1 2 next

  1. Di Mauro, Nicola; Bellodi, Elena; Riguzzi, Fabrizio: Bandit-based Monte-Carlo structure learning of probabilistic logic programs (2015)
  2. Frasconi, Paolo; Costa, Fabrizio; De Raedt, Luc; De Grave, Kurt: kLog: a language for logical and relational learning with kernels (2014)
  3. Mantadelis, Theofrastos; Rocha, Ricardo; Moura, Paulo: Tabling, rational terms, and coinduction finally together! (2014)
  4. Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit: Tor: modular search with hookable disjunction (2014)
  5. Swift, Terrance: Incremental tabling in support of knowledge representation and reasoning (2014)
  6. Liang, Senlin; Kifer, Michael: A practical analysis of non-termination in large logic programs (2013)
  7. Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís: The YAP prolog system (2012)
  8. Swift, Terrance; Warren, David S.: XSB: extending Prolog with tabled logic programming (2012)
  9. Zhou, Neng-Fa; Have, Christian Theil: Efficient tabling of structured data with enhanced hash-consing (2012)
  10. Areias, Miguel; Rocha, Ricardo: On combining linear-based strategies for tabled evaluation of logic programs (2011)
  11. De Guzmán, Pablo Chico; Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V.: Parallel backtracking with answer memoing for independent and-parallelism (2011)
  12. 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)
  13. Kimmig, Angelika; Demoen, Bart; De Raedt, Luc; Costa, Vítor Santos; Rocha, Ricardo: On the implementation of the probabilistic logic programming language ProbLog (2011)
  14. Corapi, Domenico; Russo, Alessandra; Lupu, Emil: Inductive logic programming as abductive search (2010)
  15. Costa, Vítor Santos; Dutra, In^es; Rocha, Ricardo: Threads and or-parallelism unified (2010)
  16. Mantadelis, Theofrastos; Janssens, Gerda: Dedicated tabling for a probabilistic setting (2010)
  17. Chen, Jianzhong; Muggleton, Stephen; Santos, José: Learning probabilistic logic models from probabilistic examples. (Extended abstract) (2008)
  18. Chen, Jianzhong; Muggleton, Stephen; Santos, José: Learning probabilistic logic models from probabilistic examples (2008)
  19. Garcia de la Banda, Maria (ed.); Pontelli, Enrico (ed.): Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9--13 2008. Proceedings (2008)
  20. Kimmig, Angelika; Santos Costa, Vítor; Rocha, Ricardo; Demoen, Bart; De Raedt, Luc: On the efficient execution of ProbLog programs (2008)

1 2 next