Extensions of Logic Programming