A declarative applicative logic programming system. http://kanren.sourceforge.net (2005)

by D P Friedman, O Kiselyov