Prolog Versus You: An Introduction to Logic Programming - Image 1

£95.57

Springer Prolog Versus You: An Introduction to Logic Programming

Name: Prolog Versus You: An Introduction to Logic Programming
Brand: Springer
Price: 95.57 GBP
Availability: InStock

AI & Machine Learning

This is the most expensive it has ever been. Walk away.

£96 today · previous high £96 · all-time low £95

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 40 days • 40 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 40 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £95 (39 days, 97.5%)

Price range: £95 - £96

Price levels: 2 different prices over 40 days

Description

Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic programming emphasizes that programming is a human activity and consequently that programs should be easy for humans to write, understand and manipulate. In a program knowledge about the problem is stated in a logical language without consideration of the underlying machine language. This book has emerged from undergraduate courses in logic programming. The relation to logic is described and the necessary logic is provided continuously. No previous programming experience is assumed and it can be used by beginners as well as by advanced programmers. The book emphasizes the declarative reading of Prolog programs which greatly facilitates the thinking about the problems and yields programs easy to understand. The book covers logic programs, their execution and data structures; databases and expert systems; program synthesis, program correctness and program transformation as well as an efficient computation of Prolog programs. Each chapter ends with some exercises (with solutions). The book also contains a thorough index, appendices and a chapter on Prolog implementations: DECsystem-10 Prolog, Tricia, Quintus Prolog, MProlog, Turbo Prolog, micro-Prolog and LM-Prolog.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540175776
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 14 September 1989
Listed Since: 01 April 2010

Barcode

No barcode data available

Springer Prolog Versus You: An Introduction to Logic Programming

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Prolog: The Next 50 Years: 13900 (Lecture Notes in Computer Science, 13900)

Prolog and its Applications: A Japanese perspective

Clause and Effect: Prolog Programming for the Working Programmer

Prolog: The Standard: Reference Manual

Programming in Prolog: Using The Iso Standard

The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)

The Implementation of Prolog (Princeton Legacy Library) (Princeton Series in Computer Science)

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Foundations and Applications of MIS: A Model Theory Approach: 24 (IFSR International Series in Systems Science and Systems Engineering, 24)

Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Springer Foundations and Applications of MIS - Model Theory

Logic Programming: A Classified Bibliography

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981: 95 (Nato Science Series C:, 95)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Logic for Mathematicians

Mathematical Logic: An Introduction (De Gruyter Textbook)

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)