The research reported in this book fulfills both a general and a specific purpose. Linear programming models are developed in order to improve the process of planning for economic development, both sh
A mathematically oriented introduction to the theory of logic programming that presents a systematic exposition of the resolution methods for propositional, first-order, and Horn-clause logics, togeth
