「Scallop is a language based on DataLog that supports differentiable logical and relational reasoning」2025/3/30 7:54:00 『Introduction - Scallop Book』