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

$116.10
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$116.10
See Site In stock Visit Store

Similar Products

Moderne Kurzwellen-Empfangstechnik

$59.99

Behavioral Accounting

$69.99

Probability via Expectation

$79.99

The Logics of Biopower and the War on Terror

$54.99

50 Animated Years of Lupin the 3rd by Reed Nelson

$39.99

Historical Archaeology in Wachovia

$39.99

Lake Victoria

$219.99

Signature Pedagogies in Police Education

$39.99

Translational Ayurveda

$109.99

Signal Transduction in Affective Disorders

$39.99

Theoretical Frontiers in Black Holes and Cosmology

$109.99

French Defence Policy into the Twenty-First Century

$109.99

In-Situ Microscopy in Materials Research

$169.99

Differential Equations and Numerical Analysis

$109.99

Block Designs: A Randomization Approach

$109.99

The English Renaissance in Popular Culture

$54.99

Strategic Marketing Cases in Emerging Markets

$69.99

Das datengetriebene Unternehmen

$29.99

Essential Evidence-Based Teaching Strategies

$54.99

Solving Practical Engineering Mechanics Problems

$59.99

Die Wirbelschicht als Energiebertragungsflche

$59.99

Network Management and Governance in Policy Implementation

$139.99

Observatories in Earth Orbit and Beyond

$39.99

Re-Reading Mary Wroth

$69.99

Die Europische Gemeinschaft

$59.99

Kognition im Umraum

$64.99

Spatial Planning in Service Delivery

$54.99

Lotus 1-2-3

$69.95

Producers and Scroungers

$54.99

Energy and Environmental Policy Modeling

$129.00

Arthritis and Related Affections

$84.99

Premarital Prediction of Marital Quality or Breakup

$84.99

Steuerhinterziehung in der Schweiz

$49.99

Manipulation und berzeugungskunst

$64.99

Return-to-Play after Lower Limb Muscle Injury in Football

$159.99

Chronic Venous Disorders of the Lower Limbs

$109.99

Opportunities and Pitfalls of Corporate Social Responsibility

$109.99

Compartment Syndrome

$159.99

Rural Landscapes of Community Health

$139.99

Look at Me!

$5.21