The logic programming paradigm : a 25-year perspective - Apt, Krzysztof R.; Marek, Victor W.; Truszczynski, Mirek; Warren, David S. (Berlin : Springer, 2000)
Keywords: Logic programming