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

Conclog: A Methodological Approach to Concurrent Logic Programming

Conclog: A Methodological Approach to Concurrent Logic Programming

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

This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog was designed bytaking the ideal features of logic programming as reference, rather than by concentrating directly on operational tricks to ensure efficiency. This leads to quite easy declarative programming. Concern for soundness and completeness ensures that multi-directional and multi-solution correct procedures can be coded quite straightforwardly. Assuming suitable hypotheses on their uses, they can be transformed into very efficient versions thanks to the introduction of appropriate control information. Correctness-preserving properties are given for that purpose. The designof Conclog involves three steps. First, a sound and complete parallel execution model of Horn clause programs is proposed which reduces subgoals of conjunctions independently and uses a calculus for reconciling inconsistent bindings. Second, this is extended to handle negation as completely as possible. Third, a minimal and reasonably complete set of extra-logical features are defined for optimization and practical purposes. The second part of the book presents a methodology for constructing Conclog in a rigorous way. This covers the entire programming process, from informal specifications via logic descriptions to efficient programs. The methodology can be adapted to other languages.

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

Single Product Purchase

$84.99
@ 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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Management Planning for Nature Conservation

$129.99

Wirtschaftsinformatik an Fachhochschulen

$69.95

After Secularism

$109.99

Tracing the Aesthetic Principle in Conrad's Novels

$54.99

Leadership ohne Leine

$19.99

Interactive Systems. Design, Specification, and Verification

$54.99

Oxygen Transport to Tissue XIV

$39.99

Die Ehescheidungen der Jahre 19201924 von in Sachsen Geschlossenen Ehen

$49.99

Proofreading Grade 2 Differentiation Pack

$5.99

Objektorientierte Software in der kommerziellen Anwendung

$29.99

Recent Advances on Soft Computing and Data Mining

$219.99

mRNA Decay

$249.99

Social Movements and Symbolic Power

$54.99

Konflikt als Verhltnis Konflikt als Verhalten Konflikt als Widerstand

$29.99

Computer Aided Verification

$54.99

Bioanorganische Chemie

$49.99

Abeni's Song

$6.71

Sociometric Research: Vol.1: Data Collection And Scaling

$29.99

Messtechnik und Prfstnde fr Verbrennungsmotoren

$79.99

Women, Camp, and Popular Culture

$109.99

Exercises in Quantum Mechanics

$129.00

Advances in Infrastructure Finance

$129.00

Praxis der Nephrologie

$54.99

Coalgebraic Methods in Computer Science

$119.99

Der Einflu des Frostkerns auf die Imprgnierung der Buchenschwelle

$69.99

The Theatre of the Occult Revival

$89.99

Private International Law

$129.00

Nichtlineare Zinssetzung

$69.99

Generalized Perturbations in Modified Gravity and Dark Energy

$109.99

Design of Low-Voltage Bipolar Operational Amplifiers

$129.00

Recent Advances in Computational Fluid Dynamics

$109.99

Bifurcations in Continuous Piecewise Linear Differential Systems

$159.99

Principles and Practice of Blockchains

$84.99

Julin Is a Mermaid

$6.71

Industrial Energy Management: Principles and Applications

$219.99

Spezielle Toxikologie f Chemiker

$34.99

Commodity and Resource Policies in Agricultural Systems

$84.99

Feedbackinstrumente im Unternehmen

$64.99

Computer Security - ESORICS 96

$39.99

The Origins of Left-Libertarianism

$199.99