KANREN is a declarative logic programming system with first-class relations, embedded in a pure functional subset of Scheme.
When I want to read up on logic programming I always stumble over two "main" ways to do it nowadays: …
prolog logic-programming minikanren