Introduction to Logic Programming (Paperback)

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Synthesis Lectures on Artificial Intelligence and Machine Learning
Release date:	February 2020
First published:	2020
Authors:	Michael Genesereth • Vinay K. Chaudhri
Dimensions:	235 x 191mm (L x W)
Format:	Paperback
Pages:	199
ISBN-13:	978-3-03-100458-2
Languages:	English
Subtitles:	English
Categories:	Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematical modelling Books > Computing & IT > Applications of computing > Artificial intelligence > Machine learning Promotions
LSN:	3-03-100458-2
Barcode:	9783031004582

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!