𝔖 Scriptorium
✦   LIBER   ✦

📁

Programmer Passport: Prolog

✍ Scribed by Bruce Tate


Publisher
Pragmatic Bookshelf
Year
2022
Tongue
English
Leaves
74
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


Constraint-based logic programming is the engine powering some of the most powerful algorithms in the world. Whether you’re building an airline schedule or planning routes for a trucking company, Prolog has the tools you need. You don’t have to struggle through thousands of pages of sample programs. This guide to Prolog will quickly ramp you up on the basic Prolog techniques you’ll need to solve the representative logical problems that Prolog is famous for.

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.

What You Need
The examples in this book are based on SWI Prolog, one of the industry leading compilers.

Constraint-based logic programming is the engine powering some of the most powerful algorithms in the world. Whether you're building an airline schedule or planning routes for a trucking company, Prolog has the tools you need. You don't have to struggle through thousands of pages of sample programs. This guide to Prolog will quickly ramp you up on the basic Prolog techniques you'll need to solve the representative logical problems that Prolog is famous for.


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.


What You Need:


The examples in this book are based on SWI Prolog, one of the industry leading compilers.

✦ Table of Contents


Cover
Table of Contents
Preface
1. Logic Programming Basics
What Is Prolog, Anyway?
The SWI Prolog Console
Inferences
Layering Inferences
Try It Yourself
2. Logic Problem Solving
Map Coloring
Unification, Lists, and Pattern Matching
Eight Queens
Try It Yourself
3. Graphs
Directed Graphs with Edges as Facts
Bidirectional Graphs
Optimizing Paths and Weighted Paths
Try It Yourself
4. Schedules and Code Organization
Schedule Teams on a Field
Schedule Possibilities
Establish Constraints
Write a Pretty Solution
Try It Yourself
Bibliography

✦ Subjects


Prolog; Recursion; Graph Algorithms; Scheduling; Logic Programming


📜 SIMILAR VOLUMES


Programmer Passport: Prolog
✍ Bruce Tate 📂 Library 📅 2022 🏛 Pragmatic Bookshelf 🌐 English

Constraint-based logic programming is the engine powering some of the most powerful algorithms in the world. Whether you're building an airline schedule or planning routes for a trucking company, Prolog has the tools you need. You don't have to struggle through thousands of pages of sample programs.

Programmer Passport: OTP
✍ Bruce Tate 📂 Library 📅 2022 🌐 English

OTP is the heart of the rapidly growing Elixir, the functional language at the heart of Phoenix and LiveView. OTP enables exciting concurrent applications with among the best reliability properties in the world. With this book, you'll learn to code systems that can detect failure and recover from it

Prolog for Programmers
✍ Feliks Kluźniak & Stanisław Szpakowicz, with a contribution by Janusz S. Bień 📂 Library 📅 1987 🏛 Academic Press Inc. 🌐 English
Prolog for programmers
✍ Feliks Kluzniak, Stanislaw Szpakowicz 📂 Library 📅 1985 🏛 Academic Pr 🌐 English
Prolog for programmers
✍ Feliks Kluźniak, Stanisław Szpakowicz, Janusz S. Bień 📂 Library 📅 1985 🏛 Academic Press 🌐 English