The logic programming paradigm : - Apt, Krzysztof R., 1949- (Artificial intelligence (Berlin, Germany), 1999)