Author: Rong Yang
Publisher: World Scientific
ISBN: 9814522155
Category : Computers
Languages : en
Pages : 152
Get Book Here
Book Description
P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides the advantages of guarded Horn clauses while retaining don't know non-determinism where required. This monograph presents also an or-tree model and an implementation scheme for it, to combine and- and or- parallelism with reasonable efficiency. The model and implementation scheme discussed can be applied to P-Prolog and other parallel logic languages.
Author: Thom Frühwirth
Publisher: Cambridge University Press
ISBN: 0521877768
Category : Computers
Languages : en
Pages : 321
Get Book Here
Book Description
The definitive reference on Constraint Handling Rules, from the creator of the language.
Author: Hoon Hong
Publisher: World Scientific
ISBN: 9814550108
Category :
Languages : en
Pages : 450
Get Book Here
Book Description
These proceedings are devoted to communicating significant developments in all areas pertinent to Parallel Symbolic Computation.The scope includes algorithms, languages, software systems and application in any area of parallel symbolic computation, where parallelism is interpreted broadly to include concurrent, distributive, cooperative schemes, and so forth.
Author: Leon S. Sterling
Publisher: MIT Press
ISBN: 0262691639
Category : Computers
Languages : en
Pages : 553
Get Book Here
Book Description
This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course. Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement—a systematic way of constructing Prolog programs developed by Leon Sterling. All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.
Author: Jan Małuszyński
Publisher: Springer Science & Business Media
ISBN: 9783540544449
Category : Computers
Languages : en
Pages : 452
Get Book Here
Book Description
This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.
Author: H. E. Bal
Publisher: Silicon Press
ISBN: 9780929306056
Category : Computers
Languages : en
Pages : 308
Get Book Here
Book Description
Author: Max A. Bramer
Publisher: Springer Science & Business Media
ISBN: 9781852339388
Category : Computers
Languages : en
Pages : 246
Get Book Here
Book Description
Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI. Includes a full glossary of the technical terms and self-assessment exercises.
Author: Koichi Furukawa
Publisher: Springer Science & Business Media
ISBN: 9783540194262
Category : Computers
Languages : en
Pages : 340
Get Book Here
Book Description
This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.
Author: Ehud Y. Shapiro
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 740
Get Book Here
Book Description
Author: Reinhard Grebe
Publisher: IOS Press
ISBN: 9789051991406
Category : Parallel processing (Electronic computers)
Languages : en
Pages : 1336
Get Book Here
Book Description
Proceedings -- Parallel Computing.
