The Evolution of Parallel Logic Programming Languages (Classic Reprint) - Softcover

Nikolaos Markantonatos

 
9781334203886: The Evolution of Parallel Logic Programming Languages (Classic Reprint)

Synopsis

Explore how logic programming meets parallel computing in Parlog and its successors.

This edition surveys the evolution of Parlog, highlighting how parallel logic programming shaped language design. It covers kernel forms, guarded evaluation, and the move from CP to Parlog84, including how safety rules govern bindings and execution. Readers will see how metaprogramming and specialized primitives enable practical parallel reasoning without sacrificing clarity.

  • Learn how Kernel Parlog standardizes programs and why guard safety matters for correct parallel behavior
  • See how simple and three-argument metacalls extend the language for real-time control and operating-system style tasks
  • Understand how multiple solution predicates, disjunctive sequencing, and other features support diverse programming styles
  • Explore example patterns like parallel list searches and shell-like metaprogramming that illustrate practical use
Ideal for readers of logic programming history, language design, and parallel computation who want a grounded, non-spoiler view of Parlog’s concepts and innovations.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title