Pac-Learning Recursive Logic Programs: Efficient Algorithms