Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Parallel and Distributed Logic Programming

Parallel and Distributed Logic Programming

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540334583
Condition
New
Product Description

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 users 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 Robinsons theorem is being used in PROLOG/DATALOG compilers to automatically build a Select Linear Definite (SLD) clause based resolution tree for answering a users 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.

Available Colors
Available Sizes
1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$129.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$129.00 $129.00

$129.00
See Site In stock Visit Store

Similar Products

Fast Ion Transport in Solids

$219.99

Rechtstransformation in Mittel- und Osteuropa

$59.99

First Little Comics: You See

$3.71

Classical Culture and Witchcraft in Medieval and Renaissance Italy

$84.99

Mathematik mit Kalklen und Maschinen

$44.99

Methods of Parameter in Mathematical Biology

$109.99

Psychologie des Alltagslebens

$29.99

Clifford the Big Red Dog: Clifford's ABC

$2.99

Staatliche Ordnung und rumliche Wirtschaftspolitik

$69.99

Algorithmic Learning Theory

$39.99

Erwachsenengerichtshilfe

$59.99

The Taxation of Capitalistic Bequests

$54.99

Proceedings of 10th International Conference on Recent Advances in Civil Aviation

$169.99

Constitutional Engineering in Brazil

$84.99

Theory and Practice of Gearing and Transmissions

$199.99

Economics and Policy of Energy and Environmental Sustainability

$169.99

Comparative Responses to Globalization

$54.99

Kotarbiski: Logic, Semantics and Ontology

$109.99

The Films of Kore-eda Hirokazu

$99.99

Mathematics and Computing

$54.99

Radiological Imaging of the Intestine

$84.99

Island Ecosystems

$129.00

Chronic Lymphocytic Leukemia

$79.99

Chemical Fundamentals of Geology

$109.99

Psychische Krankheit im Alter

$59.99

K-Taping in der Lymphologie

$49.99

Advances in Petroleum Engineering and Petroleum Geochemistry

$109.99

Die Sozialstruktur Deutschlands im internationalen Vergleich

$44.99

Wahlsystemwandel in Mittelosteuropa

$69.99

India and the Occult

$139.99

Environmental Economics and Computable General Equilibrium Analysis

$129.99

Physical and Chemical Weathering in Geochemical Cycles

$169.00

A Primer on Hilbert Space Operators

$49.99

Der Mentoring Kompass fr Unternehmen und Mentoren

$59.99

Use of Biocidal Surfaces for Reduction of Healthcare Acquired Infections

$84.99

Die Unschuld der Maschinen

$19.99

Around the Research of Vladimir Maz'ya III

$84.99

Structures: A Geometric Approach

$89.00

Literature, Science, and a New Humanities

$54.99

Unternehmenswertorientierung in Konzernrechnungslegung und Controlling

$74.99