Meta-logics and logic programming - Apt, Krzysztof R., 1949-; Turini, Franco, 1949- (Logic programming, 1995)