How we did it:
For any feedback, any questions, any notes or just for chat - feel free to follow us on social networks
Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.
More on Amazon.com