|
Showing 1 - 2 of
2 matches in All Departments
Relational databases have quickly come to be regarded as a natural
and efficient way of organizing information. Duplicate data can be
eliminated and powerful set-theoretic operations can be used to
manipulate data. But finding the right relations for a database is
not yet a trivial step for the uninitiated. This book presents a
comprehensive logic programming implementation of the relational
design methodology. It employs TURBO Prolog to test and establish
computational viability of the relevant algorithms. It also
presents the expert system prototype of a user interface, designed
especially for builders of computerized databases who may have no
formal training in database design.
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.
|
You may like...
Rio 2
Jesse Eisenberg, Anne Hathaway, …
Blu-ray disc
(1)
R76
Discovery Miles 760
|