Language
Scallop is a declarative language designed to support rich symbolic reasoning in AI applications. It is based on Datalog, a logic rule-based query language for relational databases.
Solver
Scallop is a scalable Datalog solver equipped with support for discrete, probabilistic, and differentiable modes of reasoning. These modes are configurable to suit the needs of different AI applications.
Framework
Scallop provides bindings to support logic reasoning modules within Python programs. As a result, Scallop can be deeply integrated with existing PyTorch machine learning pipelines.
Read in full here:
https://scallop-lang.github.io/
This thread was posted by one of our members via one of our news source trackers.