Cascalog isn't proper datalog. It's a non-recursive fragment that allows for negation and outer joins, so semantically it's much closer to SQL, albeit with a mu

Cascalog isn't proper datalog. It's a non-recursive fragment that allows for negation and outer joins, so semantically it's much closer to SQL, albeit with a much nicer syntax.