Meta-Logics and Logic Programming