The Logic programming paradigm : a 25-year perspective - Apt, Krzysztof R. (Artificial intelligence, 1999)