Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Vol. 8 Issue 02

 

Log In

Browse Journals

Special Sales

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

2009 Journals Catalogue

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

CJO Now Includes:

567,269 articles from 321 leading journals.

Customize Your Search Toolbar

Theory and Practice of Logic Programming

Search

Social Bookmarking

  • Note: Abstract, PDF and HTML open in a new window

  • Editor(s):
  • A. Bossi, Università Ca’ Foscari di Venezia, Italy

Sort by

Previous Issue Next Issue

Table of Contents - Volume 8 - Issue 02  

  Please select Articles below or use Select All, then click the appropriate button above. Select/Deselect All:
 

Regular Papers

 
 

Experimenting with recursive queries in database and logic programming systems

G. TERRACINA, N. LEONE, V. LIO and C. PANETTA

Theory and Practice of Logic Programming, Volume 8, Issue 02, March 2008, pp 129-165
doi:10.1017/S1471068407003158 (About doi), Published Online by Cambridge University Press 21 Jun 2007
 

Logic programs with monotone abstract constraint atoms

VICTOR W. MAREK, ILKKA NIEMELÄ and MIROSŁAW TRUSZCZYŃSKI

Theory and Practice of Logic Programming, Volume 8, Issue 02, March 2008, pp 167-199
doi:10.1017/S147106840700302X (About doi), Published Online by Cambridge University Press 16 May 2007
 

Technical Note

 
 

Improving Prolog programs: Refactoring for Prolog

ALEXANDER SEREBRENIK, TOM SCHRIJVERS and BART DEMOEN

Theory and Practice of Logic Programming, Volume 8, Issue 02, March 2008, pp 201-215
doi:10.1017/S1471068407003134 (About doi), Published Online by Cambridge University Press 23 May 2007
 

A common view on strong, uniform, and other notions of equivalence in answer-set programming

STEFAN WOLTRAN

Theory and Practice of Logic Programming, Volume 8, Issue 02, March 2008, pp 217-234
doi:10.1017/S1471068407003250 (About doi), Published Online by Cambridge University Press 22 Feb 2008
 

Book Reviews

 
 

Learn Prolog Now! Patrick Blackburn, Johan Bos, Kristina Striegnitz College Publications, 2006 Paperback: ISBN 1-904987-17-6, Price: £12 xiv + 265 pages.

Bart Demoen

Theory and Practice of Logic Programming, Volume 8, Issue 02, March 2008, pp 235-242
doi:10.1017/S1471068408003268 (About doi), Published Online by Cambridge University Press 22 Feb 2008
 

Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace Cambridge University Press, 2007 Hardback: ISBN 9780521866286, Price: £35, 348 pages.

Peter J. Stuckey

Theory and Practice of Logic Programming, Volume 8, Issue 02, March 2008, pp 242-246
doi:10.1017/S1471068408003281 (About doi), Published Online by Cambridge University Press 22 Feb 2008
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press