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

Understanding Problems of Practice

$54.99

International Power and International Communication

$59.00

Principles of Convective Heat Transfer

$109.99

Pervasive Computing

$54.99

Contemporary Photography as Collaboration

$109.00

Hochtemperatur-Plastizitt

$44.99

Advanced High Strength Steel

$94.99

Die Grenzen der Rational Choice Theorie

$59.99

Best New Books Grade 6 2024-2025

$155.00

Erwerb Diagnostischer Kompetenz im Sachunterricht

$79.99

Seminaire de Probabilites XXVII

$39.99

Rapid Thermal Processing of Semiconductors

$249.99

Zukunft der Arbeit Perspektive Mensch

$34.99

Controversies in Clinical Thyroidology

$39.99

Die Situation(en) der Promotionsbetreuung

$59.99

Microbiome Community Ecology

$59.99

Pflanzenernhrung, Wurzelleistung und Exsudation

$49.99

Introducing Cisco Unified Computing System

$54.99

The Sustainability Effect

$109.99

Exploring the Social and Political Economy of Alexis de Tocqueville

$159.99

Bausteine der digitalen Transformation

$49.99

Pulsed Discharge Plasmas

$249.99

Kindler Kompakt: Drama des 20. Jahrhunderts

$19.99

In Search of Lost Futures

$139.99

Practical Informatics for Cytopathology

$54.99

Introduction to Microprocessor-Based Systems Design

$119.99

Einfhrung in die Stadtplanung 3

$29.99

Beauty's Appeal

$169.99

Professionelle Wahrnehmung von Strungen im Unterricht

$59.99

Interrogating Modernity

$159.99

Peek-a-Boo Farm

$5.99

Notflle in Gynkologie und Geburtshilfe

$74.99

Praxiswissen Schwingungsmesstechnik

$39.99

Empower Decision Makers with SAP Analytics Cloud

$59.99

Logic-Based Program Synthesis and Transformation

$54.99

Statistical Foundations of Irreversible Thermodynamics

$44.99

Emotionalisierung von Marken

$89.95

Intellectual Property Rights Management

$39.99

A Practical Guide to SAP Integration Suite

$49.99

Inductive Dependency Parsing

$109.99