Photo 1/1
Clause et effet : Prolog Programming for the Working Programmer par William F. C-
État :
3 disponibles
Livraison :
Lieu où se trouve l'objet : Fairfield, Ohio, États-Unis
Délai de livraison :
Estimé entre le mar. 9 juil. et le ven. 19 juil. à 43230
Retours :
Retour sous 30 jours. L'acheteur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours
Paiements :
Achetez en toute confiance
Détails sur le vendeur
- 98,3 % d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :395346810524
Dernière mise à jour le 19 mai 2024 12:19:16 Paris. Afficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- ISBN-13
- 9783540629719
- Book Title
- Clause and Effect
- ISBN
- 9783540629719
- Subject Area
- Computers
- Publication Name
- Clause and Effect : Prolog Programming for the Working Programmer
- Publisher
- Springer Berlin / Heidelberg
- Item Length
- 9.3 in
- 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 Weight
- 18.7 Oz
- Item Width
- 6.1 in
- Number of Pages
- IX, 143 Pages
À propos de ce produit
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
Number of Pages
IX, 143 Pages
Language
English
Publication Name
Clause and Effect : Prolog Programming for the Working Programmer
Publication Year
1997
Subject
Programming Languages / General, Programming / General, Software Development & Engineering / General, Compilers
Type
Textbook
Subject Area
Computers
Format
Trade Paperback
Dimensions
Item Height
0.2 in
Item Weight
18.7 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
97-035795
Dewey Edition
21
Number of Volumes
1 Vol.
Illustrated
Yes
Dewey Decimal
005.13/3
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
Description de l'objet fournie par le vendeur
Informations sur le vendeur professionnel
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :395346810524
Dernière mise à jour le 19 mai 2024 12:19:16 Paris. Afficher toutes les modificationsAfficher toutes les modifications
Livraison et expédition
Lieu où se trouve l'objet :
Fairfield, Ohio, États-Unis
Destination :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Belize, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunei Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bénin, Cambodge, Cameroun, Canada, Cap-Vert, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Croatie, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Liberia, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Maurice, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Niue, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Christophe-et-Niévès, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les-Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vatican, Viêt Nam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, Éthiopie, Îles Caïmans, Îles Cook, Îles Malouines, Îles Salomon, Îles Turques-et-Caïques, Îles Vierges britanniques
Exclus :
APO/FPO, Alaska/Hawaï, Barbade, Biélorussie, Guadeloupe, Guyane, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats américains, Russie, Réunion, Samoa occidentales, Ukraine, Venezuela
Livraison et expédition | Chaque objet supplémentaire | à | Service | Livraison*Afficher les instructions de livraison |
---|---|---|---|---|
Livraison gratuite | Gratuit | États-Unis | Economy Shipping | Estimé entre le mar. 9 juil. et le ven. 19 juil. à 43230 |
Délai d'expédition |
---|
Envoi sous 10 jours ouvrés après réception du paiement. |
Taxes |
---|
Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay |
Taxe de vente pour l'objet n°395346810524
Taxe de vente pour l'objet n°395346810524
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Conditions de retour
Une fois l'objet reçu, contactez le vendeur dans un délai de | Mode de remboursement | Frais de retour |
---|---|---|
30 jours | Remboursement | L'acheteur paie les frais de retour |
Cliquez iciici pour en savoir plus sur les retours. Pour les transactions répondant aux conditions requises, vous êtes couvert par la Garantie client eBay si l'objet que vous avez reçu ne correspond pas à la description fournie dans l'annonce.
L'acheteur doit payer les frais de retour.
Détails des conditions de retour |
---|
Retours acceptés |
Détails du paiement
Modes de paiement
Remarque : il se peut que certains modes de paiement ne soient pas disponibles lors de la finalisation de l'achat en raison de l'évaluation des risques associés à l'acheteur.
Catégories populaires de cette Boutique
Inscrit comme vendeur professionnel
Évaluations en tant que vendeur (1 025 621)
j***j (308)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Packed very securely and arrived quickly. Highly recommend this Seller.
j***j (308)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Packed very securely and arrived quickly. Highly recommend this Seller.
k***l (1675)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Received it right away and it looks great. Thank you so much.
Notes et avis sur le produit
Rédigez un avis en premier.
Découvrir d'autres objets :
- Livres programmes de lecture pour la jeunesse,
- Livres de fiction william faulkner,
- Livres anciens et de collection william shakespeare,
- Livres programmes de lecture en poche pour la jeunesse,
- Livres de fiction programmes de lecture pour la jeunesse,
- Livres programmes de lecture en poche en français pour la jeunesse,
- Livres anciens et de collection William Shakespeare, en français,
- Livres anciens et de collection William Shakespeare, en anglais,
- Livres anciens et de collection en cuir william shakespeare,
- Livres anciens et de collection william shakespeare 1900 à 1960, en français