~ tracking down this book ~
Deductive databases — OmList