Challenges for Logic Programming - Steve Miner