Программирование в ограничениях...

[axiger]

..на интуитивно понятном языке предметной области (DSL)

http://www.poparcade.net/swf/light-bot-2205.swf