Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
lmkg
10 months ago
|
parent
|
context
|
favorite
| on:
I'm not mutable, I'm partially instantiated
Check out the CLP(ℤ) library by Markus Triska, who is also the author of Scryer Prolog. It defines new comparison predicates that lets you use bidirectional logical programming on standard integers with standard math operations.
https://github.com/triska/clpz
dsabanin
10 months ago
[–]
Markus is not the author of Scryer Prolog, Mark Thom is.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://github.com/triska/clpz