search

vilterp / datalog-ts

a datalog interpreter in typescript
https://lingo-workbench.dev/
MIT License
207 stars 8 forks source link

simple interpreter: variables not declared in head can still have bindings #88

Open vilterp opened 2 years ago

vilterp commented 2 years ago

See https://github.com/vilterp/datalog-ts/pull/87/commits/c95bd72c3ac5a770e3553c79641a31863c530eb7

Had to rename I to RuleID because I had a binding from somewhere else. This shouldn't happen

vilterp commented 2 years ago

Similar to #160