Excerpt from The Evolution of Parallel Logic Programming Languages
In addition, backtracking is performed in a strictly chronological fashion.
Prolog programs can be understood as a set of descriptive statements about a problem. In addition to this declarative semantics inherited from logic, Prolog programs can be described in a more conventional fashion as a series of steps passed through during program execution. This different way of understanding the semantics is called the procedural interpretation of logic programs.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sinopsis" puede pertenecer a otra edición de este libro.
Excerpt from The Evolution of Parallel Logic Programming Languages
Each resolution step implicitly contains two forms of nondeterminism: which literal to choose first when resolving a conjunction of goals and which of two or more alternative clauses for a goal to consider first. Unlike Horn clauses, Prolog is equipped with two standard strate gies which eliminate the above forms of nondeterminism.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Forgotten Books, London, Reino Unido
Paperback. Condición: New. Print on Demand. This book is an insightful account of the development of parallel logic programming languages. It provides an in-depth analysis of various proposals in this field, from Concurrent Prolog and Parlog to Guarded Horn Clauses and P-Prolog. The author not only presents the technical details of these languages but also discusses their underlying design motivations and the problems they attempted to solve. This book offers a comprehensive overview of the evolution of parallel logic programming languages, providing a valuable resource for researchers in the field and anyone interested in the history and development of programming languages. It highlights the challenges and trade-offs involved in designing languages that can exploit parallelism while ensuring correctness and efficiency, offering a deeper understanding of the complexities of parallel programming. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Nº de ref. del artículo: 9781334203886_0
Cantidad disponible: Más de 20 disponibles
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781334203886
Cantidad disponible: 15 disponibles
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781334203886
Cantidad disponible: 15 disponibles
Librería: moluna, Greven, Alemania
Condición: New. KlappentextrnrnExcerpt from The Evolution of Parallel Logic Programming LanguagesIn addition, backtracking is performed in a strictly chronological fashion.Prolog programs can be understood as a set of descriptive statements abou. Nº de ref. del artículo: 2148122056
Cantidad disponible: Más de 20 disponibles