Oleg Kiselyov's minimal implementation of logic programming