Transliterating Prolog into Scheme (1985)

by M Felleisen