Show
Sort by
-
Tabling as a Library with Delimited Control
-
- Journal Article
- A1
- open access
Tabling as a library with delimited control
-
Heuristics entwined with handlers combined: from functional specification to logic programming implementation
-
- Conference Paper
- C1
- open access
Integrating Datalog and Constraint Solving
-
SWI-Prolog
-
- Conference Paper
- C1
- open access
Optimizing inequality joins in Datalog with approximated constraint propagation
-
- Conference Paper
- C1
- open access
Approximating constraint propagation in Datalog