TY  - BOOK
AU  - LLOYD, J W
TI  - Foundations of Logic Programming
U1  - 005.115 
PY  - 1987///
CY  - Newyork
PB  - Springer -Verlag
KW  -  PERPETUAL PROCESSES
KW  -  DEFINITE PROGRAMS
KW  - COMPUTER SCIENCE
ER  -