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

Selbstmanagement und Motivation fr Wissenschaftler*innen Eine Einfhrung

$39.99

English and Ethnicity

$54.99

Handbuch PR-Recht

$84.99

Harry Potter - Knitting Magic - More Patterns From Hogwarts and Beyond - An Official Harry Potter Knitting Book (Harry Potter Craft Books, Knitting Bo

$29.99

kologie der Abwasserorganismen

$129.00

Lsungen zum Lehrbuch Steuerlehre 1 Rechtslage 2023

$19.99

Revitalizing Indian Agriculture and Boosting Farmer Incomes

$54.99

Problems and Theorems in Analysis II

$59.99

Liberal Democracy and Peace in South Africa

$54.99

Gastroenterologische Funktionsuntersuchungen

$39.99

Proceedings of the III Advanced Ceramics and Applications Conference

$229.99

Aggression in Children and Youth

$219.99

Personal Data in Competition, Consumer Protection and Intellectual Property Law

$249.99

(Im)politeness at a Slovenian Call Centre

$119.99

Experiences with Distributed Systems

$39.99

Web Information Systems and Technologies

$84.99

Dermatologische Diagnostik

$59.99

Universal Algebra

$179.99

Reaction Dynamics in Clusters and Condensed Phases

$259.00

Yearbook of Morphology 1993

$219.99

Resilience vs Pandemics

$169.99

Poxviruses

$219.99

Lehren und Lernen in Differenzverhltnissen

$89.99

Cancer and the Heart

$74.99

Deutsche Exilliteratur 19331950

$119.99

Informal Empire and the Rise of One World Culture

$39.99

Rshid al-Ghannshi

$54.99

Spectroscopy of Systems with Spatially Confined Structures

$219.99

Cyclodextrin Chemistry

$39.99

Neurobiology of Decision-Making

$159.99

Geometric and Ergodic Aspects of Group Actions

$109.99

Computing Science, Communication and Security

$54.99

IFRS in mittelstndischen Unternehmen

$59.99

Studien zu Gemeinschaft und Gesellschaft

$49.99

Praktische Funktionenlehre

$64.99

Peppa Pig: Peppa's Vacation

$4.49

Pro Drupal 7 Development

$39.99

Personale Entwicklung und Organisation

$69.99

Internationalization in Higher Education and Research

$159.99

Responding to a Resurgent Russia

$109.99