arXiv 2002-10-29 EN A uniform approach to logic programming semantics Hitzler, Pascal · Wendt, Matthias