Scallop is a Datalog-based language that supports differentiable logical and relational reasoning,...