• Menu
  • Skip to right header navigation
  • Skip to main content
  • Skip to secondary navigation
  • Skip to primary sidebar

OnlineProgrammingBooks.com

Legally Free Computer Books

  • All Categories
  • All Books
  • All Categories
  • All Books
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact
You are here: Home ▶ Prolog ▶ The Power of Prolog

The Power of Prolog

April 29, 2017

The Power of Prolog

The Power of Prolog is an introduction to modern Prolog. The goal of this book is to bridge the gap between the great traditional Prolog textbooks of the past and the language as it currently is, several decades after these books were written. You will see that many limitations of the past are no longer relevant, while several new constructs are now of great importance even though they are not yet covered in any available Prolog book.

Book Description

Topics included: Introduction • Facets of Prolog • Basic Concepts • Data Structures • Reading Prolog Programs • Writing Prolog Programs • Termination • Nontermination • Integer Arithmetic • Higher-order Predicates • Logical Purity • Declarative Testing • Declarative Debugging • Global Variables • Thinking in States • Definite Clause Grammars • Meta-interpreters • Macros • Combinatorial Optimization • Expert Systems • Web Applications • Business Cases • Theorem Proving • Logic Puzzles • Efficiency • Memoization • Horror Stories • Fun Facts • The Future.

Download Free PDF / Read Online

Author(s): Markus Triska
Publisher: –
Published: 2005-2017
Format(s): HTML(Online)
File size: –
Number of pages: –
Download / View Link(s): Online

Similar Books:

  1. Guide to Prolog Programming
  2. Logic, Programming and Prolog 2nd Edition
  3. Prolog Techniques
  4. Prolog and Natural-Language Analysis
  5. Applications of Prolog
Previous Post: « Swift Pocket Reference
Next Post: ASP.NET Core Succinctly »

Primary Sidebar

Get Latest Updates

  • Facebook
  • Pinterest
  • RSS
  • Twitter
  • YouTube
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact

Copyright © 2006–2023 OnlineProgrammingBooks.com