Description

Instead of working through dozens of fragmented code snippets written for different dialogs of Prolog, you can learn Prolog from a unified guide. You will start with the basics, defining the facts and inferences your programs will need to function. Then, you’ll learn the techniques to tie those facts together. You’ll finish off the basics by working through iconic problems like the map coloring problem. You’ll break into recursive solutions with the eight queens problem as you learn to explore logical problems requiring recursion and fixed dimensions.

Once you’ve picked up the basics, you’ll get right into the problem domains that made Prolog famous. You’ll navigate graphs to compute a working path, or even evaluate paths with the least distance or fastest times. You’ll not only learn what directed graphs are, but when to apply them. You’ll also get to use Prolog to solve scheduling problems. The basic algorithm will give you the tools to schedule a sports league tournament with special constraints.

Don’t settle for fragments of the big picture. Demand a consolidated approach that guides you through the process from beginning to end. Whether you’re learning logic programming to open up career possibilities or to excel in a class, you need this book.

Contents and Extracts

Preface

• Logic Programming Basics
  • What is Prolog, Anyway?
  • The SWI Prolog Console
  • Inferences
  • Layering Inferences
  • Try It Yourself
• Logic Problem Solving excerpt
  • Map Coloring
  • Unification, Lists, and Pattern Matching
  • Eight Queens
  • Try It Yourself
• Graphs excerpt
  • Directed Graphs With Edges as Facts
  • Bi-Directional Graphs
  • Optimizing Paths and Weighted Paths
  • Try It Yourself
• Schedules and Code Organization
  • Schedule Teams on a Field
  • Schedule Possibilities
  • Establish Constraints
  • Write a Pretty Solution
  • Try It Yourself