Cambridge University Press
Networks and Optimization

Apt, K. (2002). The logic programming paradigm and prolog, Chapter 15. In Concepts in programming languages (pp. 475–507). Cambridge University Press.