Oleg Kiselyov's minimal implementation of logic programming - View it on GitHub