cale/toy-datalog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • f2161013e4 Comment out non-working executable in cabal file for now. master Cale Gibbard 2026-01-26 12:36:53 -05:00
  • a775f753e0 Fix a bug in projectTuple where it wasn't ensuring that variables that appeared multiple times were bound to the same thing in the resulting set of tuples. Cale Gibbard 2026-01-26 12:18:29 -05:00
  • c09e07042b Fix parsing of constants (no longer allow empty string or uppercase start). Add a parser for conjunctive queries. Add some prettyprinters for the syntax. Cale Gibbard 2026-01-22 13:35:45 -05:00
  • 0730e7163d Update changelog Cale Gibbard 2026-01-16 01:27:32 -05:00
  • 3ed2a84cce Add basic evaluation, improved testing, some facilities to help testing by hand at ghci prompt Cale Gibbard 2026-01-16 01:05:19 -05:00
  • 9dd48b46af Initial commit with basic datalog parser and abstract syntax Cale Gibbard 2026-01-12 16:10:51 -05:00