1) Programming language
Found on
https://www.crosswordclues.com/clue/minikanren
miniKanren is a family of programming languages for relational programming. As relations are bidirectional, if miniKanren is given an expression and a desired output, miniKanren can run the expression `backward`, finding all possible inputs to the expression that produce the desired output. This bidirectional behavior allows the user to constrai.....
Found on
http://en.wikipedia.org/wiki/MiniKanren
No exact match found.
