And then mini/microKanren put Prolog in its rightful place: that of a useful DSL instead of a poor general purpose language.