Directions for Logic Programming