Internet bot that systematically browses the World Wide Web, typically for the purpose of Web indexing (web spidering)