The Journal of Logic Programming (informationswissenschaftl. Veröffentlichungen)