This book presents a unique systems theory approach to management information system (MIS) development. It covers an outline of the approach, providing a theoretical foundation for MIS from the systems theoretic viewpoint before presenting practical applications ranging from a transaction processing system to a solver system. The author also describes his newly developed extended Prolog programming language, which helps take full advantage of the mathematical framework employed. Prerequisites include a working knowledge of elementary set theory, logic and familiarity with some systems concepts such as automation models. This book is ideally suited to senior and graduate students, researchers in management information systems, systems engineers and systems scientists. It can be used as a main text or additional material for a course on Management Information Systems or Systems Engineering.