"Neurosymbolic"

[brurucy]

Hi,

I'm curious as to why is scallop referred to as a "Framework and Language for Neurosymbolic Programming".

I understand "Neurosymbolic" as a system that cleverly bridges some connectivist system e.g a NN, to a reasoner and/or vice-versa. At first glance, this is what Scallop pitches itself to be.

When looking at the examples however, I do not see how Scallop is not just a regular Datalog reasoner with stratified negation, Python bindings, and extensible data types.

What makes Scallop clever? That is, what can it do, that any other Datalog reasoner over arbitrary semirings couldn't do?