Pierre Deransart: Prolog: The Standard

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9783540593041 | Prolog: The Standard | Reference Manual | Pierre Deransart (u. a.)

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

101,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

From the viewpoint of an "industrial" this book is most welcome, as one of the most significant demonstrations of the maturity of Prolog. Logic programming is a fascinating area in computer science, which held for years - and still does - the promise of freeing ourselves from programming based on the "Von Neumann" machine. In addition computer programming has long been for solid theoretical foundations. While conventional engineering, dealing mainly with "analogical complexity", developed over some hundred years a complete body of mathematical tools, no such toolset was available for "digital complexity". The only mathematical discipline which deals with digital complexity is logic and Prolog is certainly the operational tool which comes closest to the logical programming ideal. So, why does Prolog, despite nearly twenty years of development, still appear to many today to be more of a research or academic tool, rather than an industrial programming language? A few reasons may explain this: First, I think Prolog suffers from having been largely assimilated into - and thus followed the fate of - Artificial Intelligence. Much hype in the late 1980 created overexpectations and failed to deliver, and the counterreaction threw both AI and Prolog into relative obscurity. In a way, maybe this is a new chance for the Prolog community: the ability to carry out real work and progress without the disturbance of limelights and the unrealistic claims of various gurus. Second, programming in Prolog is a new experience for computer professionals.

Zusammenfassung

This is the first reference manual on the ISO international standard of the programming language Prolog. It contains a comprehensible full description of the standardized language together with an executable specification.

Inhaltsverzeichnis

1. Introduction.- 2. Prolog Data Structures.- 2.1 Terms.- 2.2 Some particular terms.- 3. Prolog Unification.- 3.1 Substitutions.- 3.2 Unifiers.- 3.3 The definition of the unification in Standard Prolog.- 4. Prolog Execution Model.- 4.1 Database and environment.- 4.2 The execution model for definite Prolog.- 4.3 The execution model for Standard Prolog.- 4.4 Additional error situations.- 4.5 The side-effects of cut.- 5. The Built-in Predicates.- 5.1 Presentation.- 5.2 Templates.- 5.3 The built-in predicates.- 6. Prolog Arithmetic.- 6.1 Arithmetic expressions.- 6.2 Expression evaluation.- 7. Prolog Environment: Sources and Sinks.- 7.1 Overview.- 7.2 Streams in Standard Prolog.- 7.3 Properties of the streams.- 7.4 Inputting and outputting terms.- 8. Prolog Flags and Directives.- 8.1 Unchangeable flags.- 8.2 Changeable flags.- 8.3 Directives for initialising flags and tables.- 8.4 Directives for preparation of Prolog texts and goals.- 9. Prolog Syntax.- 9.1 Character sets and character conversion table.- 9.2 Expression and operator table.- 9.3 Presentation of the syntax.- 9.4 Syntax of Prolog text.- 9.5 Syntax of read-term.- 9.6 Syntax errors.- 10. Writing Portable Programs.- 10.1 Unification.- 10.2 The database update view.- 11. Annexes.- 11.1 Compliance.- 11.2 The ftp package.- 11.3 Elements of lexical analysis.- 11.4 ASCII table.- 11.5 Glossary of auxiliary concepts.- Thematic classification of the built-in predicates.

Erscheinungsjahr:	1996
Fachbereich:	Programmiersprachen
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	292
Inhalt:	xvi 272 S.
ISBN-13:	9783540593041
ISBN-10:	3540593047
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Deransart, Pierre Ed-Dbali, Abdelali Cervoni, Laurent
Auflage:	Softcover reprint of the original 1st ed. 1996
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg
Maße:	235 x 155 x 16 mm
Von/Mit:	Pierre Deransart (u. a.)
Erscheinungsdatum:	15.04.1996
Gewicht:	0,446 kg

Ähnliche Produkte