I found sokuza-kanren [0] to be a wonderful introduction. It starts with the absolute basics and builds into a minimal logic system through a series of well-documented steps.
I think python is the most common and simple language with majority of devs would understand for concepts learning, but it is likely too slow for practical applications.