Foundations of logic programming / J.W. Lloyd.

By:

Material type: Text

TextSeries: Symbolic computation | Artificial intelligencePublication details: Berlin ; Springer-Verlag, 1984.Description: x, 124 p. ; 25 cmISBN:

Subject(s):

DDC classification:

Contents:

1. Declarative semantics-- 2. Procedural semantics-- 3. Negation-- 4. Perpetual processes-- References-- Notation-- Index.

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata	005.115 L793 (Browse shelf(Opens below))	Available		C26410

Total holds: 0

Previous		No cover image available			No cover image available			Next
Previous	005.115 H716 Introduction to logic programming	005.115 H737 Foundation of equational logic programming	005.115 J19 Conclog : a methodological approach to concurrent logic programming	005.115 L793 Foundations of logic programming /	005.115 M665 Foundations of deductive databases and logic programming	005.115 M665 Efficient processing with constraint-logic grammars using grammar compilation	005.115 M957 Live data structures in logic programs : derivation by means of abstract interpretation	Next

Includes bibliographical references and index.

1. Declarative semantics--
2. Procedural semantics--
3. Negation--
4. Perpetual processes--
References--
Notation--
Index.

There are no comments on this title.

to post a comment.