When we think of a function we think of input parameters and output results, but what if these were interchangeable. A single implementation of the function append, could be at least 3 functions rolled into one: StripPrefix, StripSuffix and Append.

Logic Programming allows us to write code as we write Math. Gominikanren (https://github.com/awalterschulze/gominikanren) is a stripped down logic programming language built to make it easy to learn.

Recently logic programming has become more relevant again with a move from Epic Games. They have recently hired a bunch of Haskell's inventors to create a logic programming language for Unreal Engine called verse.

Learning minikanren will not only make you ready for this new language, but also open your eyes to new possibilities in programming.