13 results
Delimited continuations for prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 533-546
-
- Article
- Export citation
Redundant Sudoku rules
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 30 October 2012, pp. 363-377
-
- Article
- Export citation
Introduction to the special issue on Prolog systems
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 1-2 / January 2012
- Published online by Cambridge University Press:
- 12 September 2011, pp. 1-4
-
- Article
- Export citation
Representation sharing for Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 09 August 2011, pp. 71-106
-
- Article
- Export citation
On the implementation of the probabilistic logic programming language ProbLog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 2-3 / March 2011
- Published online by Cambridge University Press:
- 27 January 2011, pp. 235-262
-
- Article
- Export citation
Improving Prolog programs: Refactoring for Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 201-215
-
- Article
- Export citation
Learn Prolog Now!Patrick Blackburn, Johan Bos, Kristina Striegnitz College Publications, 2006 Paperback: ISBN 1-904987-17-6, Price: £12 xiv + 265 pages.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 235-242
-
- Article
- Export citation
TCHR: a framework for tabled CLP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 4 / July 2008
- Published online by Cambridge University Press:
- 26 February 2008, pp. 491-526
-
- Article
- Export citation
Incremental copying garbage collection for WAM-based Prolog systems
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 5 / September 2007
- Published online by Cambridge University Press:
- 01 September 2007, pp. 505-536
-
- Article
- Export citation
Fast Frequent Querying with Lazy Control Flow Compilation
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 4 / July 2007
- Published online by Cambridge University Press:
- 01 July 2007, pp. 481-498
-
- Article
- Export citation
Improving PARMA trailing
-
- Journal:
- Theory and Practice of Logic Programming / Volume 6 / Issue 6 / November 2006
- Published online by Cambridge University Press:
- 16 October 2006, pp. 609-644
-
- Article
- Export citation
Checking modes of HAL programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 6 / November 2005
- Published online by Cambridge University Press:
- 31 October 2005, pp. 623-667
-
- Article
- Export citation
Programming in Prolog. Using the ISO Standard. by William F. Clocksin, Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8, xiii+299 pages
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 3 / May 2005
- Published online by Cambridge University Press:
- 09 May 2005, pp. 391-395
-
- Article
- Export citation