Show
Sort by
-
- Journal Article
- A1
- open access
Tabling with sound answer subsumption
-
Tabling as a Library with Delimited Control
-
- PhD Thesis
- open access
Towards flexible goal-oriented logic programming
(2016) -
- Journal Article
- A1
- open access
Tabling as a library with delimited control
-
Heuristics entwined with handlers combined: from functional specification to logic programming implementation
-
- Journal Article
- A1
- open access
TOR: modular search with hookable disjunction
-
- Miscellaneous
- open access
Delimited continuations in Prolog: semantics, use, and implementation in the WAM
(2013) -
- Conference Paper
- C1
- open access
Integrating Datalog and Constraint Solving
-
- Journal Article
- A1
- open access
Delimited continuations for Prolog
-
Implementing LP systems with CP techniques