978-0262035613
The (2018) is a foundational text by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, and Jason Hemann that introduces relational programming —a style of logic programming—through a unique question-and-answer format . It focuses on extending the functional language Scheme with logical constructs, allowing programmers to define functions that behave like mathematical relations . Key Concepts and Structure
Most programming books teach you how to compute. This one teaches you what computation means when you turn functions inside out.