This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and...

PrestaShop is a hidden gem. There are many much more widely known online shopping cart solutions that have nothing like the features, potential, and ease of use that this open source, completely free-to-use, system has. But until now there has been no information available on how to make the most of it. This book takes a step-by-step approach...

Automatic control is becoming more and more important in this age of automation. In manufacturing processes it ensures that certain parameters, such as temperature, pressure, speed cc voltage, take up specific constant values recognized as the optimum. or are maintained in a particular relationship to other variables. In other words, the duty...

Silverlight makes it much easier to build web applications with highly usable, interactive, and exciting user interfaces. However, with so many new options open to designers and developers, making the best use of the tools available is not always so easy. It's ease of use and rapid development process has left one area completely...

# Thoroughly covers all five areas of the standard Police Officer Exam: Comprehension, Recall, Forms, Legal Definitions, and "What If" Scenarios.
# Helps candidates quickly assess where they stand, and master what they need to...

The sleek BlackBerry Storm is more than good looks—it also boasts a number of powerful features, including advanced SurePress typing technology, WiFi access, and video recording capabilities. With BlackBerry Storm 2 Made Simple, you’ll explore all the features and uncover valuable techniques—from emailing and...

Accidents are the leading cause of...

Magill’s Encyclopedia of Science: Plant Life is designed to meet the needs of college and high school students as well as nonspecialists seeking general information about botany and related sciences. The definition of “plant life” is quite broad, covering the range from molecular to macro topics: the basics of cell structure...

Single Crystal Growth of Semiconductors from Metallic Solutions covers the four principal growth techniques currently in use for the growth of semiconductor single crystals from metallic solutions. Providing an in-depth review of the state-of-the-art of each, both experimentally and by numerical simulations. The importance of a close...

If you are an ActionScript developer or designer and you would like to work with 3D in Flash, this book is for you. You will learn the core Flash 3D concepts, using the open source Away3D engine as a primary tool. Once you have mastered these skills, you will be able to realize the possibilities that the available Flash 3D engines, languages,...

Millions of computer users regularly bind themselves to software license terms with the click of a mouse, usually without reading anything but the word "agree." Licenses for software as diverse as Microsoft Windows and Linux, and terms of use for websites such as Facebook, are all subject not only to intellectual property and...