Bild 1 von 1
Klausel und Wirkung: Prolog-Program mierung für den arbeitenden Programmierer von William F. C
Artikelzustand:
3 verfügbar
Versand:
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Di, 2. Jul und Sa, 13. Jul nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 98,3% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:395346810524
Artikelmerkmale
- Artikelzustand
- ISBN-13
- 9783540629719
- Book Title
- Clause and Effect
- ISBN
- 9783540629719
- Subject Area
- Computers
- Publication Name
- Clause and Effect : Prolog Programming for the Working Programmer
- Item Length
- 9.3 in
- Publisher
- Springer Berlin / Heidelberg
- Subject
- Programming Languages / General, Programming / General, Software Development & Engineering / General, Compilers
- Publication Year
- 1997
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.2 in
- Item Width
- 6.1 in
- Item Weight
- 18.7 Oz
- Number of Pages
- IX, 143 Pages
Über dieses Produkt
Product Information
This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. The emphasis of this book is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general. A relatively pure subset of Prolog is used, which includes the 'cut', but no input/output, no assert/retract, no syntactic extensions such as if- then-else and grammar rules, and hardly any built-in predicates apart from arithmetic operations. I trust that practitioners of Prolog program- ming who have a particular interest in the finer details of syntactic style and language features will understand my purposes in not discussing these matters. The presentation, which I believe is novel for a Prolog programming text, is in terms of an outline of basic concepts interleaved with worksheets. The idea is that worksheets are rather like musical exercises. Carefully graduated in scope, each worksheet introduces only a limited number of new ideas, and gives some guidance for practising them. The principles introduced in the worksheets are then applied to extended examples in the form of case studies.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540629718
ISBN-13
9783540629719
eBay Product ID (ePID)
743465
Product Key Features
Publication Name
Clause and Effect : Prolog Programming for the Working Programmer
Format
Trade Paperback
Language
English
Subject
Programming Languages / General, Programming / General, Software Development & Engineering / General, Compilers
Publication Year
1997
Type
Textbook
Subject Area
Computers
Number of Pages
IX, 143 Pages
Dimensions
Item Length
9.3 in
Item Height
0.2 in
Item Width
6.1 in
Item Weight
18.7 Oz
Additional Product Features
LCCN
97-035795
Intended Audience
Scholarly & Professional
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.6-76.66
Table of Content
1. Getting Started.- 1.1 Syntax.- 1.2 Programs.- 1.3 Unification.- 1.4 Execution Model.- 2. Data Structures.- 2.1 Square Bracket Notation.- 2.2 Arithmetic.- 3. Mapping.- Worksheet 10: Full Maps.- Worksheet 11: Multiple Choices.- Worksheet 12: Partial Maps.- Worksheet 13: Removing Duplicates.- Worksheet 14: Partial Maps with a Parameter.- Worksheet 15: Multiple Disjoint Partial Maps.- Worksheet 16: Multiple Disjoint Partial Maps.- Worksheet 17: Full Maps with State.- Worksheet 18: Sequential Maps with State.- Worksheet 19: Scattered Maps with State.- 4. Choice and Commitment.- 4.1 The 'Cut'.- 4.2 A Disjoint Partial Map with Cut.- 4.3 Taming Cut.- 4.4 Cut and Negation-as-Failure.- 4.5 Negation-as-Failure Can Be Misleading.- 5. Difference Structures.- Worksheet 25: Concatenating Lists.- Worksheet 26: Rotations of a List.- Worksheet 27: Linearising.- 5.1 Difference Lists.- 5.2 Solution to Max Tree.- 6. Case Study: Term Rewriting.- 6.1 Symbolic Differentiation.- 6.2 Matrix Products by Symbolic Algebra.- 6.3 The Simplifier.- 7. Case Study: Manipulation of Combinational Circuits.- 7.1 Representing Circuits.- 7.2 Simulation of Circuits.- 7.3 Sums and Products.- 7.4 Simplifying SOP Expressions.- 7.5 Alternative Representation.- 8. Case Study: Clocked Sequential Circuits.- 8.1 Divide-by-Two Pulse Divider.- 8.2 Sequential Parity Checker.- 8.3 Four-Stage Shift Register.- 8.4 Gray Code Counter.- 8.5 Specification of Cascaded Components.- 9. Case Study: A Compiler forThree Model Computers.- 9.1 The Register Machine.- 9.2 The Single-Accumulator Machine.- 9.3 The Stack Machine.- 9.4 Optimisation: Preprocessing the Syntax Tree.- 9.5 Peephole Optimisation.- 10. Case Study: The Fast Fourier Transform in Prolog.- 10.1 Introduction.- 10.2 Notation for Polynomials.- 10.3 The DFT.- 10.4Example: 8-point DFT.- 10.5 Naive Implementation of the DFT.- 10.6 From DFT to FFT.- 10.7 Merging Common Subexpressions.- 10.8 The Graph Generator.- 10.9 Example Run: 8-point FFT.- 10.10 Bibliographic Notes.- 11. Case Study: Higher-Order Functional Programming.- 11.1 Introduction.- 11.2 A Notation for Functions.- 11.3 The Evaluator.- 11.4 Using Higher-Order Functions.- 11.5 Discussion.- 11.6 Bibliographic Notes.
Copyright Date
1997
Dewey Decimal
005.13/3
Dewey Edition
21
Illustrated
Yes
Artikelbeschreibung des Verkäufers
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:395346810524
Verpackung und Versand
Artikelstandort:
Fairfield, Ohio, USA
Versand nach:
Afghanistan, Albanien, Algerien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Britische Jungferninseln, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Cookinseln, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominica, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Falklandinseln (Malwinen), Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irak, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jersey, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Komoren, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mayotte, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niederländische Antillen, Niger, Nigeria, Niue, Norwegen, Oman, Pakistan, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Saint-Pierre und Miquelon, Salomonen, Sambia, San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Somalia, Spanien, Sri Lanka, St. Helena, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Svalbard und Jan Mayen, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Tuvalu, Türkei, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Weltweit, Westsahara, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Panama, Papua-Neuguinea, Russische Föderation, Réunion, Samoa (Westsamoa), US-Protektorate, Ukraine, Venezuela
Verpackung und Versand | Jeder zusätzliche Artikel | Nach | Service | Lieferung*Siehe Lieferhinweise |
---|---|---|---|---|
Kostenloser Versand | Kostenlos | USA | Economy Shipping | Lieferung zwischen Di, 2. Jul und Sa, 13. Jul nach 43230 |
Bearbeitungszeit |
---|
Der Verkäufer verschickt den Artikel innerhalb von 10 Werktagen nach Zahlungseingang. |
Steuern |
---|
An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe. |
Mehrwertsteuer für diesen Artikel #395346810524
Mehrwertsteuer für diesen Artikel #395346810524
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
Bundesstaat | Steuersatz für Sales Tax |
---|
Rücknahmebedingungen
Frist für Kontaktaufnahme mit dem Verkäufer nach Erhalt Artikels: | Rückerstattung erfolgt in folgender Form: | Rücksendung |
---|---|---|
30 Tage | Geld zurück | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
Rücknahmebedingungen im Detail |
---|
Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Beliebte Kategorien in diesem Shop
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (1'025'138)
a***d (280)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Book exactly as described, reliable shipping, no problems at all! Recommended seller.
h***s (77)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Daughter is thrilled to be able to get her hands on bills that aren't being released in the US. Thank you!!!
b***n (1117)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Fast delivery
Noch mehr entdecken:
- William Shakespeare Belletristik-Bücher,
- William Shakespeare Schule und Ausbildung,
- William Faulkner Belletristik-Bücher,
- Hörbücher William Shakespeare,
- Sachbuch William Shakespeare Bücher,
- William Shakespeare Studium und Erwachsenenbildung,
- William Shakespeare Fachbücher, Lernen und Nachschlagen,
- William-Shakespeare-Humor-Belletristik - Bücher,
- William-Stuart-Long-Belletristik - Bücher,
- William-Shakespeare-Taschenbuch-Belletristik - Bücher