Prolog : a logical approach
Dodd, A.
Prolog : a logical approach - Oxford [England] ; New York : Oxford University Press, 1990. - xii, 556 p. : illustrations ;
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.
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.
0198538227 : 9780198538226 0198538219 (pbk.) : 9780198538219
Prolog (Computer program language)
005.133 / DOD
Prolog : a logical approach - Oxford [England] ; New York : Oxford University Press, 1990. - xii, 556 p. : illustrations ;
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.
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.
0198538227 : 9780198538226 0198538219 (pbk.) : 9780198538219
Prolog (Computer program language)
005.133 / DOD