Theory and Practice of Logic Programming (TPLP)

last updated on June 07, 2004

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)
  

To ALP home page