Planning

Planning with dlvK