summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* (datalog eval qsq): Project sup tuples from final template to form of answer ...HEADmainpukkamustard2021-03-22
* (datalog relational-algebra): Add <query:map>.pukkamustard2021-03-22
* (datalog relational-algebra): Add <query:union>.pukkamustard2021-03-22
* (datalog relation-algebra): add explicit identity in query-reducepukkamustard2021-03-21
* (datalog relation): Add explicit identity in relation-reducepukkamustard2021-03-21
* (datalog relation in-memory): allow tuples directly to be entered whenpukkamustard2021-03-21
* (tests datalog relational-algebra): fix broken test due to ordering ofpukkamustard2021-03-21
* (datalog eval qsq): Fix bug that caused a natural join with a "nil"-relationpukkamustard2021-03-10
* (datalog utils set): Improve set->vectorpukkamustard2021-03-09
* Move literal->bound-variables from (datalog eval qsq) topukkamustard2021-03-09
* (datalog adornment): Helpers for working with adornments.pukkamustard2021-03-09
* (datalog lvar): Add make-lvar-set.pukkamustard2021-03-09
* bob2021: last fixespukkamustard2021-02-22
* bob2021: work on slidespukkamustard2021-02-08
* bob2021: bobbobbobobobobobobobobobobopukkamustard2021-01-27
* bob2021: Venn diagramspukkamustard2021-01-27
* bob2021: bobboboboobpukkamustard2021-01-26
* bob2021: model-theoretic semanticspukkamustard2021-01-26
* bob2021: an outlinepukkamustard2021-01-24
* bob2021: resolutionpukkamustard2021-01-24
* bob2021: another coverpukkamustard2021-01-23
* bob2021: slidespukkamustard2021-01-23
* bob2021: slides.org -> slides.texpukkamustard2021-01-23
* (datalog eval qsq): Extract answer tuples and returnpukkamustard2021-01-21
* (datalog eval qsq): First (working) steps to QuerySubQuery Algorithmpukkamustard2021-01-21
* (datalog relational-algebra): Add pattern slot to <query:relation> thatpukkamustard2021-01-21
* (datalog utils vhash): Add vhash-contains?pukkamustard2021-01-21
* (datalog utils hamt): Ciao bella, ciao ciao ciao!pukkamustard2021-01-20
* (datalog clause): Use (datalog utils vhash)pukkamustard2021-01-20
* (tests datalog relation-algebra): simple test for natural joinpukkamustard2021-01-20
* (datalog relation-algebra): use set based on (pfds sets)pukkamustard2021-01-20
* (datalog relation-algebra): Fix natural join and use VHash for hash joinpukkamustard2021-01-20
* (datalog utils vhash): VHash utilspukkamustard2021-01-20
* (datalog utils set): more helperspukkamustard2021-01-20
* (datalog utils set): initpukkamustard2021-01-19
* (datalog lvar): add lvar-pattern-match? from (datalog utils pattern)pukkamustard2021-01-19
* (datalog utils hamt): re-export all the functions from pfdspukkamustard2021-01-19
* (datalog relation): add datalog-radd! to reduce tuples to a relationpukkamustard2021-01-19
* (datalog clause): add <datalog-program>pukkamustard2021-01-19
* (datalog lvar): add unification helperspukkamustard2021-01-19
* (datalog relation): return relation from relation-add!pukkamustard2021-01-19
* (datalog clause): add specialized classes for fact, rule and goalpukkamustard2021-01-19
* (datalog relational-algebra): Add <query:natural-join>.pukkamustard2021-01-18
* (datalog relation): Remove attributes slot and add arity slot.pukkamustard2021-01-18
* (datalog relational-algebra): Add <query:equality-selection>pukkamustard2021-01-18
* (datalog lvar): Add <constant> for explictly marking constant valuespukkamustard2021-01-18
* bob2021: init slides for talk at BOB2021pukkamustard2021-01-17
* (datalog clause): change write for clause to use Parenthetical Datalogpukkamustard2021-01-15
* (datalog clause): add ground? predicate and syntax for writing goalspukkamustard2021-01-15
* (tests datalog relational-algebra): initpukkamustard2021-01-15