10 January 2008 - declarative programming

declarative programming - An idea for programming computers, under which saying that something is true makes it so. The goal is to make programs as easy to write as laws, so we can have more of them.