Tracked shipping to Austria with premium packaging for just 3,99 € 

Ship to
Austria
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada Introduction to Logic Programming
Type
Physical Book
Publisher
Language
English
Pages
199
Format
Paperback
Dimensions
23.5 x 19.1 x 1.2 cm
Weight
0.39 kg.
ISBN13
9783031004582
Edition No.
1

Introduction to Logic Programming

Michael Genesereth (Author) · Vinay K. Chaudhri (Author) · Springer · Paperback

Introduction to Logic Programming - Genesereth, Michael ; Chaudhri, Vinay K.

Cheaper New Book Imported to Austria
Delivery: 12 Aug - 19 Aug Shipping: 13 to 17 business days.
63,26 €
Faster New Book Imported to Austria
Delivery: 31 Jul - 04 Aug Shipping: 5 to 6 business days.
85,48 €
Import costs and 10% VAT included in the price ✅
63,26 €

Synopsis "Introduction to Logic Programming"

Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic Programming due to applications in deductive databases, automated worksheets, Enterprise Management (business rules), Computational Law, and General Game Playing. This book introduces Logic Programming theory, current technology, and popular applications. In this volume, we take an innovative, model-theoretic approach to logic programming. We begin with the fundamental notion of datasets, i.e., sets of ground atoms. Given this fundamental notion, we introduce views, i.e., virtual relations; and we define classical logic programs as sets of view definitions, written using traditional Prolog-like notation but with semantics given in terms of datasets rather than implementation. We then introduce actions, i.e., additions and deletions of ground atoms; and we define dynamic logic programs as sets of action definitions. In addition to the printed book, there is an online version of the text with an interpreter and a compiler for the language used in the text and an integrated development environment for use in developing and deploying practical logic programs.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews