by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
The goal of this book is to show the beauty and elegance of relational programming, which captures the essence of logic programming. The book shows how to implement a relational programming languag…