Please use the TPLP citation in your papers, not the corr one!
Volume 1, Issue 1
Invited Editorial, John Alan Robinson. (pp 1 – 1)
Editorial, Jack Minker. (pp 3 – 4)
Regular Papers
- On A Theory Of Probabilistic Deductive Databases, Laks V. S. Lakshmanan, Fereidoon Sadri. (pp 5 – 42)
- Declarative Semantics For Active Rules, Sergio Flesca, Sergio Greco. (pp 43 – 69)
- Linear Tabulated Resolution Based On Prolog Control Strategy, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou. (pp 71 – 103)
Technical Note
- Enhancing The Expressive Power Of The U-Datalog Language, Elisa Bertino, Barbara Catania, Roberta Gori. (pp 105 – 122)
Book Review
- Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press, 2000, ISBN 0521652006, (hardback), ISBN 0521656028, (paperback), Femke van Raamsdonk. (pp 123-125) [html] [pdf]
Programming Pearls
- TPLP Pearls Submission Guidelines, Lee Naish. (pp 127 – 128)
Volume 1, Issue 2
Regular Papers
- Knowledge And The Action Description Language A. Jorge Lobo, Gisela Mendez, Stuart R. Taylor. (pp 129 – 184)
- A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types, Puri Arenas-Sánchez , Mario Rodríguez-Artalejo. (pp 185 – 245)
Volume 1, Issue 3
Special Issue On Logic Programming And The Internet
- Guest editor’s introduction to the Special Issue On ‘Logic Programming And The Internet, Leon Sterling, Lee Naish, Manuel Hermenegildo. (pp 249 – 250)
- Distributed WWW Programming Using (Ciao-)Prolog And The PiLLoW Library, Daniel Cabeza Gras, Manuel V. Hermenegildo. (pp 251 – 282)
- Multi-Threading And Message Communication In Qu-Prolog, Keith L. Clark, Peter J. Robinson, Richard Hagen. (pp 283 – 301)
- The Munich Rent Advisor: A Success For Logic Programming On Then Internet, Thom W. Frühwirth , Slim Abdennadher. (pp 303 – 319)
- Secure Prolog-Based Mobile Code, Seng Wai Loke, Andrew Davison. (pp 321 – 357)
- High-Level Networking With Mobile Code And First Order AND-Continuations, Paul Tarau, Verónica Dahl. (pp 359 – 380)
Volume 1, Issue 4
Regular Papers
- Greedy Algorithms in Datalog, Sergio Greco, Carlo Zaniolo. (pp 381 – 407)
- Constraint Logic Programming with Hereditary Harrop Formula, Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo. (pp 409 – 445)
- Verifying Termination and Error-Freedom of Logic Programs with block Declarations, Jan-Georg Smaus , Patricia M. Hill , Andy King. (pp 447 – 486)
Technical note
- Order-consistent programs are cautiously monotonic, Hudson Turner. (pp 487 – 495)
Volume 1, Issue 5
Regular Papers
- Transformation-Based Bottom-Up Computation Of The Well-Founded Model, Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski. (pp 497 – 538)
- On Redundancy Elimination Tolerant Scheduling Rules, Filomena Ferrucci, Maria I. Sessa, Giuliano Pacini.(pp 539 – 590)
- On The Problem Of Computing The Well-Founded Semantics, Zbigniew Lonc, Miroslaw Truszczynski. (pp 591 – 609)
Technical Note
- Worst-Case Groundness Analysis Using Definite Boolean Functions, Samir Genaim, Michael Codish, Jacob M. Howe. (pp 611 – 615)
Programming Pearl
- O(1) Reversible Tree Navigation Without Cycles, Richard A. O’Keefe. (pp 617 – 630)
Volume 1, Issue 6
Special Issue in honor of Alain Colmerauer, on the occasion of his 60th birthday
- In honor of Alain Colmerauer’s 60th birthday, Frédéric Benhamou, Pascal Van Hentenryck. (pp 633 – 635)
- A Tribute to Alain Colmerauer, Jacques Cohen. (pp 637 – 646)
- An interactive semantics of logic programming, Roberto Bruni, Ugo Montanari, Francesca Rossi. (pp 647 – 690)
- Propositional Defeasible Logic has Linear Complexity, Michael J. Maher.(pp 691 – 711)
- Constraint programming viewed as rule-based programming, Krzysztof R. Apt, Eric Monfroy. (pp 713 – 750)
- Typing constraint logic programs, François Fages, Emmanuel Coquery. (pp 751 – 777)
- Learning Hybrid Algorithms for Vehicle Routing Problems, Yves Caseau, Glenn Silverstein, François Laburthe. (pp 779 – 806)
- A short bibliography of Alain Colmerauer. (pp 807 – 809)
- PhD theses surpervised by Alain Colmerauer. (pp 811 – 813)