Hacker News new | ask | show | jobs
by cartucho1 371 days ago
Not really logic programming, but a while ago I made this, also in Python: https://github.com/ariroffe/logics (mainly for educational purposes). Parts of the implementation kind of reminded me of it.