From logic programming to Prolog / (Record no. 5108)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01485nam a2200217Ia 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | NULRC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250520094858.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250520s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780132303682 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | NULRC |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA 76.73 .A68 1997 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Apt, Krzysztof R. |
| Relator term | author |
| 245 #0 - TITLE STATEMENT | |
| Title | From logic programming to Prolog / |
| Statement of responsibility, etc. | Krzysztof R. Apt. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | London, United Kingdom : |
| Name of publisher, distributor, etc. | Prentice-Hall, |
| Date of publication, distribution, etc. | c1997 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xviii, 328 pages ; |
| Dimensions | 24 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes index. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | List of figures -- List of programs -- Preface -- Acknowledgements -- 1. Introduction -- 2. Unification -- 3. Logic programs: procedural interpretation -- 4. Logic programs: declarative interpretation -- 5. Programming in pure Prolog -- 6. Terminations -- 7. The occur-check problem -- 8. Partial correctness -- 9. Programming in Pure Prolog with arithmetic -- 10. Verification of Pure Prolog programs with arithmetic -- 11. Towards full Prolog -- Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | From Logic Programming to Prolog is a unique publication that provides an introduction to the theory of logic programming, and its application to Prolog programs. While logic programming and Prolog are closely related, other texts have always treated them separately. Books on logic programming have focused on the theoretical foundations of the subject, whilst Prolog texts have always concentrated on language features and programming techniques. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | LOGIC PROGRAMMING |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Computer Science | LRC - Main | National University - Manila | General Circulation | 01/06/2012 | Reaccessioned | GC QA 76.73 .A68 1997 | NULIB000002867 | 05/20/2025 | c.1 | 05/20/2025 | Books |