summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* README: add reference to more implementationsHEADmainpukkamustard2020-10-01
* (datalog relational-algebra2): notes on how to improve (datalogpukkamustard2020-09-28
* (datalog): naive -> semi-naive evaluationpukkamustard2020-09-28
* (schemantic rdf datalog): add ρdf fragment of RDF from Simple andpukkamustard2020-09-27
* README: add Simple and Efficient Minimal RDFSpukkamustard2020-09-27
* README: TODOs and links to further readingpukkamustard2020-09-27
* (schemantic datalog) -> (datalog): move Datalog modulespukkamustard2020-09-27
* (schemantic datalog rdf): include RDF Graph into the EDB of a Datlog programpukkamustard2020-09-27
* (schemantic datalog): export datalog-eval and add an example to testspukkamustard2020-09-27
* (schemantic datalog): Naive Datalog evaluationpukkamustard2020-09-26
* (schematic datalog relation-algebra): more functional push-downpukkamustard2020-09-26
* (schemantic datalog relational-algebra): unions and a whole big messpukkamustard2020-09-25
* (schemantic datalog relational-algebra): push-down, or how I learned topukkamustard2020-09-25
* (schemantic datalog vhash-set): use a vhash based setpukkamustard2020-09-23
* (schemantic datalog relational-algebra): move relational-algebra stuffpukkamustard2020-09-23
* add copyright headerspukkamustard2020-09-23
* (schemantic datalog) cartesian-productpukkamustard2020-09-23
* (schemantic datalog): translate clause to relational algebra expressionpukkamustard2020-09-23
* (schemantic lvar): rename slot to symbolpukkamustard2020-09-23
* (schemantic lvar): use gensym for lvar names (if none other provided)pukkamustard2020-09-22
* (schemantic datalog): first steps toward relational algebrapukkamustard2020-09-22
* (schemantic lvar): fix writing of unnamed lvarpukkamustard2020-09-22
* (schemantic datalog): normalize-head - the T algorithm from "Logicpukkamustard2020-09-21
* (schemantic lvar): move logical variables to own module and allow named varia...pukkamustard2020-09-21
* (schemantic datalog): implement Elementary Production rulepukkamustard2020-09-18
* (schemantic datalog): init with some nice syntax helpers and MGU algorithmpukkamustard2020-09-18
* (schemantic fragment-graph): Fix graph-query methodspukkamustard2020-09-08
* (schemantic rdf lang-string): fix write methodpukkamustard2020-09-08
* add schemantic/blank-node.scm to hall.scmpukkamustard2020-09-07
* (schemantic fragment-graph): add CSexp encodingpukkamustard2020-09-07
* (schemantic fragment-graph): add query helperspukkamustard2020-09-07
* ignore *.trs filespukkamustard2020-09-07
* (schemantic fragment-graph): fix query logic by transforming match termspukkamustard2020-09-07
* (schemantic fragment-graph): add a fragment graph implementation forpukkamustard2020-09-07
* (schemantic rdf): add generic graph-add method that unpacks triplepukkamustard2020-09-07
* (schematic rdf): add <graph-query>pukkamustard2020-09-04
* run hall dist -xpukkamustard2020-09-04
* (schemantic blank-node): add support for blank-nodespukkamustard2020-09-04
* (schemantic serialization turtle): use the Turtle parser from guile-rdfpukkamustard2020-09-04
* (schemantic graph vhash): a vhash index based in-memory graphpukkamustard2020-09-04
* (schemantic rdf lang-string): add datatype for rdf:langStringpukkamustard2020-09-03
* (schemantic literal): goops based datatypespukkamustard2020-09-03
* initial commitpukkamustard2020-09-03