Meta-Logics And Logic Programming by Krzysztof Apt