I couldn't quite figure out Lemmalog's latest benchmark stats from the README but it sounds cool!

I heard of Scallop, that also uses Datalog for neurosymbolic programming, I wonder where Lemmalog fits with Scallop? I know little about Datalog so sorry if this is a dumb question!