In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on …
