A prediction market is designed to trade and predict future events. This book provides a comprehensive and multidisciplinary treatment of the prediction market, explaining what it is, how it works, and why it may fail, from the theoretical, computational, and statistical (or machine learning) perspectives. The book begins with the theoretical aspect by reviewing Friedrich Hayek's work on markets, which he viewed as discovery processes, and proceeds to experimental economics to examine the Hayek hypothesis by using human-subject experiments, finally moving to the modeling work. In addition to the conventional analytical models based on neoclassical economics, agent-based models of prediction markets are introduced. The use of agent-based models makes it possible to address the following four elements, which are difficult to tackle with analytical models: space, networks, traders' behavior, and market designs. Agent-based simulation of the prediction market augmented with these four elements enables an examination of the effects of these elements on the prediction market from the computational aspect and hence tests the Hayek hypothesis on the basis of diverse institutional and individual characteristics. The empirical part of the book is based mainly on data from xFuture, currently the largest prediction market in Asia. This dataset includes 5.9 million trades from 170,000 members distributed over 128 countries. Forty variables are abstracted from the dataset and categorized into five groups to build empirical models to help evaluate or predict the performance of prediction markets. In addition to the linear models, complex thinking prompts the use of artificial intelligence or machine learning tools to develop nonlinear models. The system thus created allows an examination of how the performance of prediction markets can be affected by the complexity of events, the heterogeneity of agents' intelligence and beliefs, and the degrees of manipulation.