Content

LATEST ISSUE

Volume 12 – Issue 1-2 Special Issue on Prolog Systems

• Introduction to the Special Issue on Prolog Systems
  Bart Demoen and Maria Garcia de la Banda. 1-4
• The YAP Prolog system
  Vítor Santos Costa, Luís Damas and Ricardo Rocha. 5-34
• SICStus Prolog—the first 25 years
  Mats Carlsson and Per Mildner, 35-66
• SWI-Prolog
  Jan Wielemaker, Tom Schrijvers, Markus Triska and Torbjörn Lager, 67-96
• The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
  Paul Tarau,  97-126
• ECLiPSe – from LP to CLP
  Joachim Schimpf and Kish Shen, 127-156
• XSB: Extending Prolog with tabled logic programming
  Terrance Swift and David S. Warren, 157-187
• The language features and architecture of B-Prolog
  Neng-Fa Zhou, 189-218
• An overview of Ciao and its design philosophy
  M. V. Hermenegildo, F. Bueno, M. Carro, P. López-García, E. Mera, J. F. Morales, and G. Puebla, 219-252
• On the implementation of GNU Prolog
  Daniel Diaz, Salvador Abreu, Philippe Codognet, 253-282

Volume 11 – Issue 06

Regular papers

• Edmund S. L. Lam and Martin Sulzmann.
  Concurrent goal-based execution of Constraint Handling Rules. 841-879
• MIROSŁAW TRUSZCZYŃSKI.
  Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. 881-904.
• Luciano Caroprese and MIROSŁAW TRUSZCZYŃSKI.
  Active integrity constraints and revision programming. 905-952.
• Martin Gebser, Joohyoung Lee, and Yuliya Lierler.
  On elementary loops of logic programs. 853-988.

Book Reviews

• By Rosella Gennari: Mathematical Logic: Foundations for Information Science by Wei Li, Birkhäuser, Berlin, 2010. Hardcover, ISBN-978-3-7643-9976-4.

OLDER ISSUES

Older issues can be accessed from the TPLP official site and from the Leuven Repository