I found http://en.wikipedia.org/wiki/Prolog http://en.wikipedia.org/wiki/Prolog has a dramatically different perspective. Pervasive design-by-contract from http

I found http://en.wikipedia.org/wiki/Prolog http://en.wikipedia.org/wiki/Prolog has a dramatically different perspective. Pervasive design-by-contract from http://en.wikipedia.org/wiki/Eiffel_(programming_language) http://en.wikipedia.org/wiki/Eiffel_(programming_language) was also interesting, though it isn't much of a departure otherwise.