Parallel and Distributed Logic Programming - Bhattacharya, Alakananda
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre233,96 €
Produit Neuf
Ou 58,49 € /mois
- Livraison : 3,99 €
- Livré entre le 18 et le 24 juillet
Nos autres offres
-
252,88 €
Produit Neuf
Ou 63,22 € /mois
- Livraison à 0,01 €
- Livré entre le 18 et le 31 juillet
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642070082_dbm
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Parallel And Distributed Logic Programming Format Broché - Livre Technologie
0 avis sur Parallel And Distributed Logic Programming Format Broché - Livre Technologie
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
The Sceptics
Neuf dès 300,21 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
The Lord Of The Rings
Neuf dès 126,00 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 147,92 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Origami Design Secrets
Neuf dès 138,63 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1970
3 avis
Neuf dès 129,00 €
-
Jonathan Lasker, Paintings 1977-2001
Neuf dès 160,00 €
Occasion dès 164,00 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
-
Seamanship In The Age Of Sail
Occasion dès 215,00 €
-
Astronomy From Wide-Field Imaging
Neuf dès 452,86 €
Occasion dès 255,00 €
-
Les Troubadours - Anthologie Bilingue - Jacques Roubaud
Occasion dès 130,00 €
-
Cowboy Kate And Other Stories
Occasion dès 161,55 €
-
H. R. Giger's Necronomicon, Vol. 2, Edition C
Occasion dès 299,89 €
-
Cryogenic Heat Transfer
Neuf dès 215,99 €
-
Genre In Archaic And Classical Greek Poetry: Theories And Models
Neuf dès 236,22 €
Produits similaires
Présentation Parallel And Distributed Logic Programming Format Broché
- Livre Technologie
Résumé :
Foundation of logic historically dates back to the times of Aristotle, who pioneered the concept of truth/falsehood paradigm in reasoning. Mathematical logic of propositions and predicates, which are based on the classical models of Aristotle, underwent a dramatic evolution during the last 50 years for its increasing applications in automated reasoning on digital computers. The subject of Logic Programming is concerned with automated reasoning with facts and knowledge to answer a user?s query following the syntax and semantics of the logic of propositions/predicates. The credit of automated reasoning by logic programs goes to Professor Robinson for his well-known resolution theorem that provides a general scheme to select two program clauses for deriving an inference. Until now Robinson?s theorem is being used in PROLOG/DATALOG compilers to automatically build a Select Linear Definite (SLD) clause based resolution tree for answering a user?s query. The SLD-tree based scheme for reasoning undoubtedly opened a new era in logic programming for its simplicity in implementation in the compilers. In fact, SLD-tree construction suffices the need for users with a limited set of program clauses. But with increase in the number of program clauses, the execution time of the program also increases linearly by the SLD-tree based approach. An inspection of a large number of logic programs, however, reveals that more than one pair of program clauses can be resolved simultaneously without violating the syntax and the semantics of logic programming. This book employs this principle to speed up the execution time of logic programs.
Sommaire:
An Introduction to Logic Programming.- Parallel and Distributed Models for Logic Programming ? A Review.- The Petri Net Model ? A New Approach.- Realization of a Parallel Architecture for the Petri Net Model.- Parsing and Task Assignment on to the Proposed Parallel Architecture.- Logic Programming in Database Applications.
Détails de conformité du produit
Personne responsable dans l'UE