LukasZahradnik / PyNeuraLogic
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
Why this job: works in the areas we cover, but does not say which job it does
What it does
Logic programming is a declarative coding paradigm in which you declare your logical _variables_ and _relations_ between them. These can be further composed into so-called _rules_ that drive the computation. Such a rule set then forms a _logic program_, and its execution is equivalent to performing logic inference with the rules.
Get started
No single install command. Read the steps in the README (opens in new tab)
- Maintenance
- Active
- Last commit 21 days ago
- Stars
- 315
- +1 this week
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- v0.9.2
- Released 2 months ago
- Built with
- Python
- 100% of the code
Is it looked after?
- Contributors
- Not stated
- Last 90 days
- Issues
- 79% closed
- 3 still open
- Pull requests
- 32 merged
- 0 waiting
- Releases
- 54
- 14 in the last year
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| EnzymeAD / Enzyme | 1,730 | yesterday | Custom | No downloads |
More: languages, topics, project record and preview image
Languages
- Python 100%
Topics
- machine-learning
- deep-learning
- graph-neural-networks
- relational-learning
- python
- geometric-deep-learning
- pytorch
- logic-programming
- differentiable-programming
Project record
- JobOther AI tools
- StatusListed
- Commits1,178
- Forks25
- Watching4
- Stars in 28 days+2
- CreatedDec 6, 2020
- First seen by usNov 7, 2026
- CheckedNov 8, 2026