Title: Extensions of Logic Programming