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

Differential Games

$99.00

Person and Self-Value

$129.00

Gemischbildung bei Ottomotoren

$64.99

Ending a Career in the Auto Industry

$39.99

Broadband Communications, Networks, and Systems

$39.99

Powerful Knowledge in Religious Education

$119.00

Massive MIMO Meets Cell

$39.99

Diabetes and Kidney Disease

$109.00

Kidney Research

$109.99

Applied Human Factors and Ergonomics 2021

$549.99

Sleep Around the World

$54.99

Religion, Power, and Resistance from the Eleventh to the Sixteenth Centuries

$54.99

Bounded Integral Operators on 2 Spaces

$39.99

Innovation, Economic Development, and Intellectual Property in India and China

$59.99

Preserving Privacy in On-Line Analytical Processing (OLAP)

$84.99

Logic Programming and Knowledge Representation

$39.99

Leveraging Emotional and Artificial Intelligence for Organisational Performance

$129.00

Britain and European Monetary Cooperation, 1964-1979

$84.99

Intelligenzprfungen an Menschenaffen

$49.99

Graph Drawing and Network Visualization

$54.99

Optimization of Structures and Components

$109.99

The Impacts of NAFTA on North America

$39.99

Pain Management and Anesthesiology

$169.00

Grandparenting Children with Disabilities

$109.99

Social Deviance

$54.99

Die Dummheit der Informationsgesellschaft

$49.99

Arab Revolution in the 21st Century?

$54.99

Intraventricular Conduction Disturbances

$84.99

From Twilight to Highlight: The Physics of Supernovae

$59.95

Summer Stay-on-Track Pack Between Grades K and 1

$9.99

Churches, Temples, and Financial Crimes

$39.99

The Human Rights Challenge to Immunity in International Law

$89.00

Robotic Fabrication in Architecture, Art and Design 2018

$279.99

U-Statistics, Mm-Estimators and Resampling

$64.99

A.C. Pigou and the 'Marshallian' Thought Style

$129.99

Theorem Proving with Analytic Tableaux and Related Methods

$39.99

Regional Economic Analysis of Power, Elections, and Secession

$79.99

The World Almanac 5,001 Incredible Facts for Kids on Nature, Science, and People by World Almanac Kids

$17.99

Landforms and Landscape Evolution of the Equatorial Margin of Northeast Brazil

$109.99

Eine kurze Geschichte der Genetik

$29.99