A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
BSD 3-Clause "New" or "Revised" License
220
stars
12
forks
source link
Fix bug with ungrounded vars only used in assignment and not in rule head #131
Closed
luc-tielen closed 1 year ago