[moccachino]

The Y language is a future AI programming language that instead of giving directions, it asks the computer questions and thus tries to provoke a response or change in behavior.

[KirinDave]

So, it's miniKanren?