10 results
From Logic to Functional Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 4 / July 2022
- Published online by Cambridge University Press:
- 04 July 2022, pp. 538-554
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 1 / January 2020
- Published online by Cambridge University Press:
- 02 July 2019, pp. 147-175
-
- Article
-
- You have access
- Open access
- Export citation
Default rules for Curry*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 2 / March 2017
- Published online by Cambridge University Press:
- 01 July 2016, pp. 121-147
-
- Article
- Export citation
An ER-based framework for declarative web programming*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 30 October 2012, pp. 269-291
-
- Article
- Export citation
On the correctness of pull-tabbing
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 713-730
-
- Article
- Export citation
Functional answer set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 2-3 / March 2011
- Published online by Cambridge University Press:
- 04 February 2011, pp. 203-233
-
- Article
- Export citation
Constraint functional logic programming over finite domains
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 5 / September 2007
- Published online by Cambridge University Press:
- 01 September 2007, pp. 537-582
-
- Article
- Export citation
Forward slicing of functional logic programs by partial evaluation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 1-2 / January 2007
- Published online by Cambridge University Press:
- 01 January 2007, pp. 215-247
-
- Article
- Export citation
Specialization of functional logic programs based on needed narrowing
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 3 / May 2005
- Published online by Cambridge University Press:
- 09 May 2005, pp. 273-303
-
- Article
- Export citation
A general framework for lazy functional logic programming with algebraic polymorphic types
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 2 / March 2001
- Published online by Cambridge University Press:
- 16 May 2001, pp. 185-245
-
- Article
- Export citation