Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Logic, programming and prolog
Autor:		Nilsson, Ulf
Rok vydání:		1990
Identifikátory:		9780471926252

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	During the recent 5 years the interest in logic programming and the programming language Prolog has grown substantially and the field has expanded to such extent that it is now difficult to keep up-to-date with all new advances. The main objective for writing yet another text-book on these topics is to provide an intuitive account of "both" foundations of logic programming and simple programming techniques in the programming language Prolog. It is not primarily intended to be a theoretical handbook on logic programming. Nor is it intended to be a book on advanced prolog programming. The authors have tried to compensate for this risk by limiting their attention to the most important areas of logic programming and by providing the interested reader with pointers containing suggestions for further reading. As a consequence of this the theoretical presentation is limited to well-established results and some of the most elaborate theorems are stated only with hints or pointers to their proofs and most of the program examples are small programs whose prime aim is to illustrate the principal use of logic programming and to inspire the reader to apply similar techniques when writing "real" logic programs.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)