TY  - BOOK
AU  - Lloyd,J.W.
TI  - Foundations of logic programming
T2  - Symbolic computation
SN  - 0387132996
U1  - 005.115 23
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
KW  - Programming languages (Electronic computers)
KW  - Semantics
N1  - Includes bibliographical references and index; 1. Declarative semantics--
2. Procedural semantics--
3. Negation--
4. Perpetual processes--
References--
Notation--
Index

ER  -