An Introduction to Logic Programming Through Prolog / Michael Spivey.
Material type:
TextSeries: Prentice-Hall international series in computer sciencePublication details: London ; New York : Prentice Hall, 1996.Description: x, 251 p. : ill. ; 24 cmISBN: - 0135360471 (pbk. : alk. paper)
- QA76.63 .S64 1996
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Books | Library First Floor | QA76.63 .S64 1996 (Browse shelf(Opens below)) | 1 | Available | 3018 |
Browsing Library shelves, Shelving location: First Floor Close shelf browser (Hides shelf browser)
| QA76.625 .R63 2012 Programming the world wide web / | QA76.625 .S68 2004 Programming the Web : an introduction / | QA76.625 .S77 2021 Creating ASP.NET Core web applications :proven approaches to application design and development / | QA76.63 .S64 1996 An Introduction to Logic Programming Through Prolog / | QA76.64 .353 1996 Object-Oriented Design with C++ / | QA76.64 .353 1996 Object-Oriented Design with C++ / | QA76.64 .B35 2011 Object oriented programming with C++ / |
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.
There are no comments on this title.