Talk:Exhaustive search

I added a lot of content to the page, including a sample implementation of an exhaustive sort in prolog. I kept the original C-like pseudocode example, and most of the original one-paragraph write-up.