The rest of that discussion thread is fairly interesting as well: http://www.cs.utexas.edu/users/vl/tag/declarative http://www.cs.utexas.edu/users/vl/tag/declar

The rest of that discussion thread is fairly interesting as well: http://www.cs.utexas.edu/users/vl/tag/declarative http://www.cs.utexas.edu/users/vl/tag/declarative Fwiw, answer-set programming is a logic-programming language with a Prolog-derived syntax that has only a declarative reading, and no procedural reading.