Описана одна из версий хорошо известного в области искусственного интеллекта языка программирования planner. Для программистов.