prudens
GPL-3.0A logical programming language, supporting propositional and first order reasoning as well as prioritized inference semantics. For more, http://cognition.ouc.ac.cy/prudens/docs.html.
85
Security score
0 known advisories in v0.8.3
Weekly downloads
—
Unpacked size
66.9 kB
Dependencies
0
Last publish
4 years ago
Security advisories
No known vulnerabilities affect v0.8.3.