Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

Latest Versions

6 versions โ†’
Version โ–ผVulnerabilitiesUsagesDate
3.0.x
3.0.5
5
Oct 23, 2026
3.0.4
4
Oct 22, 2026
3.0.3
4
Oct 19, 2026
Show 3 more from 3.0.x
6 versions โ†’