An Introduction to Logic Programming Through Prolog /
Spivey, J. M.
An Introduction to Logic Programming Through Prolog / Michael Spivey. - London ; New York : Prentice Hall, 1996. - x, 251 p. : ill. ; 24 cm. - Prentice-Hall international series in computer science .
Includes index.
Overview programming with relations and terms; Horn clause programs; unification and resolution; answers and SLD-resolution; programming examples; negation as failure; program transformation; implementation.
Logic programming has increasing significance in computer science beyond the current fashion for expert systems. This book takes a software engineering rather than an expert systems/AI approach and covers logical theory, practical programming and PROLOG implementation.
0135360471 (pbk. : alk. paper)
Logic programming.
Prolog (Computer program language)
QA76.63 / .S64 1996
An Introduction to Logic Programming Through Prolog / Michael Spivey. - London ; New York : Prentice Hall, 1996. - x, 251 p. : ill. ; 24 cm. - Prentice-Hall international series in computer science .
Includes index.
Overview programming with relations and terms; Horn clause programs; unification and resolution; answers and SLD-resolution; programming examples; negation as failure; program transformation; implementation.
Logic programming has increasing significance in computer science beyond the current fashion for expert systems. This book takes a software engineering rather than an expert systems/AI approach and covers logical theory, practical programming and PROLOG implementation.
0135360471 (pbk. : alk. paper)
Logic programming.
Prolog (Computer program language)
QA76.63 / .S64 1996