scallop-lang/scallop

Combines DataLog's declarative syntax with differentiable reasoning through a generalized Provenance Semiring framework, enabling discrete logical, probabilistic, and gradient-based computation on the same programs. Integrates seamlessly with PyTorch via `scallopy`, allowing logical reasoning modules to be embedded directly in neural network architectures and jointly trained end-to-end. Supports multiple execution modes—CLI interpreter, REPL, Python bindings, and VSCode plugin—with configurable provenance semirings for different reasoning types.

456 stars. No commits in the last 6 months.