Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150284 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logic, programming and prolog
Autor: Nilsson, Ulf
Rok: 1990
ISBN: 9780471926252
OKCZID: 110425420
Citace (dle ČSN ISO 690):
NILSSON, Ulf a Jan MAŁUSZYŃSKI. Logic, programming and prolog. Chichester: J. Wiley, 1990, 289 s. ISBN 0-471-92625-6.
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.