1 unstable release
0.1.0 | Mar 3, 2020 |
---|
#2454 in Algorithms
33KB
955 lines
A collection of Prolog-like tools for inference logic
0.1.0 | Mar 3, 2020 |
---|
#2454 in Algorithms
33KB
955 lines
A collection of Prolog-like tools for inference logic