Design and Implementation of a Web-Search Engine based on Computation Tree Logic