000			03401nam a22004335i 4500
999			_c387130 _d387130
001			387130
003			ES-MaUEC
005			20230207171914.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			220601s2020 sz | s |||| 0|eng d
020			_a9783031015861
024	7		_a10.1007/978-3-031-01586-1 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.63 _b2020 EB
100	1		_aGenesereth, Michael R., _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686120 _d1948-
245	1	0	_aIntroduction to Logic Programming _cby Michael Genesereth, Vinay K. Chaudhri
250			_a1st edition 2020
264		1	_aCham _bSpringer International Publishing _c2020
300			_a1 recurso en línea (XX, 199 páginas)
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_aarchivo de texto _bPDF
490	0		_aSynthesis Lectures on Artificial Intelligence and Machine Learning _x1939-4616
505	0		_aPreface -- Introduction -- Datasets -- Queries -- Updates -- Query Evaluation -- View Optimization -- View Definitions -- View Evaluation -- Examples -- Lists, Sets, Trees -- Dynamic Systems -- Metaknowledge -- Operations -- Dynamic Logic Programs -- Database Management -- Interactive Worksheets -- Variations -- References -- Authors' Biographies .
520			_aLogic 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.
988			_aSynthesis Collection of Technology_2020
650		7	_2embne _9160750 _aProgramación lógica
650		7	_2embne _9139821 _aProgramación de ordenadores
700	1		_aChaudhri, Vinay K. _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686639
776	0	8	_iPrinted edition: _z9783031000317
776	0	8	_iPrinted edition: _z9783031004582
776	0	8	_iPrinted edition: _z9783031027147
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-01586-1 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b02/2023 _dz _esc _zSI