Solving High-Level Planning Programs (Extended Abstract)