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: 94.59 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 49 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £95 (48 days, 98.0%)

Price range: £95 - £96

Price levels: 2 different prices over 49 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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Prolog: The Standard: Reference Manual

Clause and Effect: Prolog Programming for the Working Programmer

Prolog and its Applications: A Japanese perspective

An Introduction to Natural Language Processing Through Prolog (Learning About Language)

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

Programming in Prolog: Using The Iso Standard

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Springer Parallel and Constraint Logic Programming Book 876

Logic for Applications (Texts in Computer Science)

An Introduction to Natural Language Processing Through Prolog (Learning about Language)

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

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

Logic Programming: A Classified Bibliography

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

PROLOG for Computer Science

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

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

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)

A Logical Approach to Discrete Math (Monographs in Computer Science)

A Programming Approach to Computability (Monographs in Computer Science)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

A High Performance Architecture for Prolog: 90 (The Springer International Series in Engineering and Computer Science)