vilterp / datalog-ts

a datalog interpreter in typescript

https://lingo-workbench.dev/

vilterp/datalog-ts Issues

vscode datalog: spurious 'unbound variable in head' errors when nested
Updated a year ago1
vscode datalog: "missing attribute" problems missing
Updated a year ago
vscode: grammar editing broken
Updated a year ago
vscode: attribute completions broken
Updated a year ago
LWB datalog: native implementation misses variables in nested records
Closed a year ago
Look at very similar Prolog/Datalog-based project Makam
Updated a year ago
`graphviz` visualization broken because react-graphviz dep removed
Closed 2 years ago2
LWB: shadowing not handled correctly
Updated 2 years ago
core: constructing a record in head can give different results in calling rule vs when it's bound as one var
Updated 2 years ago
LWB: duplicate completion items
Updated 2 years ago
Errors in console; AST & scope graph not shown
Closed 2 years ago4
explorer: rules using virtual relations log errors to console
Updated 2 years ago
re-enable virtual tables
Updated 2 years ago
LWB: highlight vars grey if they're not used
Updated 2 years ago
LWB: datalog and example editor out of sync
Updated 2 years ago
deletion syntax
Closed 2 years ago1
`stringChar` not rendering properly
Closed 2 years ago1
LWB DL: highlighting for inner variables
Closed 2 years ago
simple interpreter: variables not declared in head can still have bindings
Updated 2 years ago1
renaming broken for FP
Closed 2 years ago1
scrolling messed up in editor
Closed 2 years ago1
LWB FP: support functions with more than one argument
Updated 2 years ago
highlighting one usage doesn't highlight other usages
Closed 2 years ago1
ide.RenameCandidate should be based on scope.Defn, not scope.Usage
Closed 2 years ago
FP, basic blocks: vars in scope where they're being defined
Updated 2 years ago
Some similar ideas
Closed 4 years ago3