TY  - BOOK
AU  - Dodd,A.
TI  - Prolog : a logical approach
SN  - 0198538227 :
U1  - 005.133 
PY  - 1990///
CY  - Oxford [England], New York
PB  - Oxford University Press
KW  - Prolog (Computer program language)
N1  - Included Index; Logic programming; logic specifications; structured data; arithmetic and other built-in facilties; executing Prolog specifications; using Prolog search strategy; controlling logic programs; input and output; modifying the database; programming with modules; Prolog environments; some odds and ends; writing and documenting Prolog predicates; techniques for programming - data structures; techniques for programming - program structure; debugging and testing Prolog programs; developing Prolog applications; the text processor application
N2  - Commencing with an explanation of how logic may be used as a programming language, this book goes on to explain the practical limitations that at present restrict logic programmers to the use of the subset of logic embodied in the Prolog programming language
UR  - http://www.loc.gov/catdir/enhancements/fy0638/89071012-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0638/89071012-t.html
ER  -