Logic, Programming and Prolog, Second Edition

Introduces topics such as concurrency and equational and constraint logic programming. Balances between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications.

**Tag(s):**
Logic Programming

**Publication date**: 01 Aug 1995

**ISBN-10**:
0471959960

**ISBN-13**:
n/a

**Paperback**:
296 pages

**Views**: 23,416

Logic, Programming and Prolog, Second Edition

Introduces topics such as concurrency and equational and constraint logic programming. Balances between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications.

Terms and Conditions:

Book excerpts:

What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications. This book introduces major new developments (in 1995, of course) in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming.

This second edition adds a clear and authoritative treatment of the theory, which is combined with an emphasis on practical programming issues. This is a broad and highly readable introduction to the subject for advanced students and programmers.

Ulf Nilsson wrote:Copyright (c) 2000, Ulf Nilsson and Jan Maluszýski. The book may be downloaded and printed for personal use only provided that the text (1) is not altered in any way, and (2) is accompanied by this copyright notice. The book may also be copied and distributed in paper-form for non-profit use only. No other form of distribution is allowed. It is not allowed to distribute the book electronically.

Book excerpts:

What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications. This book introduces major new developments (in 1995, of course) in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming.

This second edition adds a clear and authoritative treatment of the theory, which is combined with an emphasis on practical programming issues. This is a broad and highly readable introduction to the subject for advanced students and programmers.

Tweet

About The Author(s)

No information is available for this author.

No information is available for this author.

Book Categories

Computer Science
Introduction to Computer Science
Introduction to Computer Programming
Algorithms and Data Structures
Artificial Intelligence
Computer Vision
Machine Learning
Neural Networks
Game Development and Multimedia
Data Communication and Networks
Coding Theory
Computer Security
Information Security
Cryptography
Information Theory
Computer Organization and Architecture
Operating Systems
Image Processing
Parallel Computing
Concurrent Programming
Relational Database
Document-oriented Database
Data Mining
Big Data
Data Science
Digital Libraries
Compiler Design and Construction
Functional Programming
Logic Programming
Object Oriented Programming
Formal Methods
Software Engineering
Agile Software Development
Information Systems
Geographic Information System (GIS)

Mathematics
Mathematics
Algebra
Abstract Algebra
Linear Algebra
Number Theory
Numerical Methods
Precalculus
Calculus
Differential Equations
Category Theory
Proofs
Discrete Mathematics
Theory of Computation
Graph Theory
Real Analysis
Complex Analysis
Probability
Statistics
Game Theory
Queueing Theory
Operations Research
Computer Aided Mathematics

Supporting Fields
Web Design and Development
Mobile App Design and Development
System Administration
Cloud Computing
Electric Circuits
Embedded System
Signal Processing
Integration and Automation
Network Science
Project Management

Operating System
Programming/Scripting
Ada
Assembly
C / C++
Common Lisp
Forth
Java
JavaScript
Lua
Microsoft .NET
Rexx
Perl
PHP
Python
R
Rebol
Ruby
Scheme
Tcl/Tk

Miscellaneous
Sponsors