These kind of Prolog-like systems are actually not very hard to make using Python generators. I think it's a nice exercise to really understand the intricacies

These kind of Prolog-like systems are actually not very hard to make using Python generators. I think it's a nice exercise to really understand the intricacies of Prolog! My own try is here: https://github.com/evertheylen/logicpy https://github.com/evertheylen/logicpy (not as extensive as kanren though)..