10 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
Lifted Variable Elimination for Probabilistic Logic Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 681-695
-
- Article
- Export citation
BigYAP: Exo-compilation meets UDI
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 799-813
-
- Article
- Export citation
Introduction to the 28th international conference on logic programming special issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 421-426
-
- Article
- Export citation
The YAP Prolog system
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 1-2 / January 2012
- Published online by Cambridge University Press:
- 18 October 2011, pp. 5-34
-
- Article
- Export citation
A design and implementation of the Extended Andorra Model1
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 3 / May 2012
- Published online by Cambridge University Press:
- 04 May 2011, pp. 319-360
-
- Article
- Export citation
Long-term declines of wader populations at the Tagus estuary, Portugal: a response to global or local factors?
-
- Journal:
- Bird Conservation International / Volume 21 / Issue 4 / December 2011
- Published online by Cambridge University Press:
- 11 February 2011, pp. 438-453
-
- Article
-
- You have access
- HTML
- 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
Threads and or-parallelism unified
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 417-432
-
- Article
- Export citation
On applying or-parallelism and tabling to logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 1-2 / January 2005
- Published online by Cambridge University Press:
- 10 January 2005, pp. 161-205
-
- Article
- Export citation