15 results
Fifty Years of Prolog and Beyond
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 17 May 2022, pp. 776-858
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Parallel Logic Programming: A Sequel
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 28 March 2022, pp. 905-973
-
- Article
- Export citation
Analysis and Transformation of Constrained Horn Clauses for Program Verification
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 15 November 2021, pp. 974-1042
-
- Article
-
- You have access
- Open access
- Export citation
VeriFly: On-the-fly Assertion Checking via Incrementality
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 02 November 2021, pp. 768-784
-
- Article
- Export citation
Incremental and Modular Context-sensitive Analysis
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 2 / March 2021
- Published online by Cambridge University Press:
- 19 January 2021, pp. 196-243
-
- Article
- Export citation
Semantic code browsing*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 721-737
-
- Article
- Export citation
Practical run-time checking via unobtrusive property caching
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 726-741
-
- Article
- Export citation
Description and Optimization of Abstract Machines in a Dialect of Prolog*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 1 / January 2016
- Published online by Cambridge University Press:
- 05 January 2015, pp. 1-58
-
- Article
- Export citation
Lightweight compilation of (C)LP to JavaScript*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 755-773
-
- Article
- Export citation
Parallel backtracking with answer memoing for independent and-parallelism
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 555-574
-
- Article
- Export citation
Certificate size reduction in abstraction-carrying code*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 3 / May 2012
- Published online by Cambridge University Press:
- 05 January 2011, pp. 283-318
-
- Article
- Export citation
Introduction to the 26th international conference on logic programming special issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 361-364
-
- Article
- Export citation
Efficient local unfolding with ancestor stacks*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 18 January 2010, pp. 1-32
-
- Article
- Export citation
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 15 June 2001, pp. 251-282
-
- Article
- Export citation
Special issue on ‘Logic Programming and the INTERNET’
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 15 June 2001, pp. 249-250
-
- Article
- Export citation