Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Vol. 7 Issue 05

 

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:

568,935 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 7 - Issue 05  

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

Regular Papers

 
 

Incremental copying garbage collection for WAM-based Prolog systems

RUBEN VANDEGINSTE and BART DEMOEN

Theory and Practice of Logic Programming, Volume 7, Issue 05, September 2007, pp 505-536
doi:10.1017/S147106840600278X (About doi), Published Online by Cambridge University Press 24 Aug 2007
 

Constraint functional logic programming over finite domains

ANTONIO J. FERNÁNDEZ, TERESA HORTALÁ-GONZÁLEZ, FERNANDO SÁENZ-PÉREZ and RAFAEL DEL VADO-VÍRSEDA

Theory and Practice of Logic Programming, Volume 7, Issue 05, September 2007, pp 537-582
doi:10.1017/S1471068406002924 (About doi), Published Online by Cambridge University Press 24 Aug 2007
 

Decomposable theories

KHALIL DJELLOUL

Theory and Practice of Logic Programming, Volume 7, Issue 05, September 2007, pp 583-632
doi:10.1017/S1471068406002997 (About doi), Published Online by Cambridge University Press 24 Aug 2007
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press