Languages like SQL and Prolog don't specify algorithms, they describe the desired result. I agree that the quality of compilers that turn these specifications into algorithms can improve dramatically, and that this kind of specification is a great way to increase the productivity of programming languages.
Getting back to go.... In my dreams I could write "select groups where safety<alpha and size<beta and color=black" _______________________________________________ computer-go mailing list computer-go@computer-go.org http://www.computer-go.org/mailman/listinfo/computer-go/