Language Scallop is a declarative language for AI applications, built on Datalog, a logic rule-based query language. Solver Scallop offers scalable support for discrete, probabilistic, and differentiable reasoning modes, adaptable to various AI needs. Framework Scallop integrates logic reasoning modules into Python programs, compatible with PyTorch pipelines for seamless incorporation with machine learning models. With versatile applications in vision and NLP, Scallop enables symbolic reasoning through logic rules that can be integrated with neural networks like CNNs and transformers.
https://www.scallop-lang.org/