Logo

Logic, Programming and Prolog

Small book cover: Logic, Programming and Prolog

Logic, Programming and Prolog
by

Publisher: John Wiley & Sons Inc
ISBN/ASIN: 0471959960
ISBN-13: 9780471959960
Number of pages: 296

Description:
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 edition introduces major new developments in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming.

Home page url

Download or read it online for free here:
Download link
(1.9MB, PDF)

Similar books

Book cover: Prolog Programming: A First CourseProlog Programming: A First Course
by
These notes are designed for undergraduate students who have some programming experience. The function of the text is to provide students studying Artificial Intelligence with an intensive introduction to Prolog, there is a slight bias towards AI.
(13770 views)
Book cover: Building Expert Systems in PrologBuilding Expert Systems in Prolog
by - Amzi! inc.
This book is designed to teach you how to build expert systems from the inside out. The author presents the various features used in expert systems, shows how to implement them in Prolog, and how to use them to solve problems.
(17384 views)
Book cover: An Introduction to Logic Programming through PrologAn Introduction to Logic Programming through Prolog
by - Prentice Hall
Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs and implementation techniques. It covers logical theory, programming, and the structure of a simple Prolog implementation.
(14340 views)
Book cover: Natural Language Processing Techniques in PrologNatural Language Processing Techniques in Prolog
by - Union College
Contents: Finite State Automata; Finite State Parsers and Transducers; Finite State Methods in Natural Language Processing; Recursive Transition Networks (RTNs); RTN transducers and ATNs; Definite Clause Grammars; Bottom Up, Top Down Parsing; etc.
(7650 views)