Minikanren implemented in dart language based on logic.js repository. - View it on GitHub