Constraint programming, logic programming, and automated planning are examples of declarative ... a form of declarative programming, for NPC control. And Inform 7 (Nelson 2006), the dominant ...