Search the Library Catalogue
The Clausal Theory Of Types (Record no. 576100)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01544nam a22001937a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250717b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780521117906 |
| Paper back/Hardbound | pbk |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.115 |
| Item number | WOL |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | D.a. Wolfram |
| 245 ## - TITLE STATEMENT | |
| Title | The Clausal Theory Of Types |
| Statement of responsibility, etc | D.A Wolfram |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Uk25 |
| Name of publisher | Cambridge University Press |
| Year of publication | 2009 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | VIII, 124 p. |
| Dimensions | 25 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes index |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest to all working in declarative programming. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Programming Language |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | English Books |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Full call number | Accession Number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Anna Centenary Library | Anna Centenary Library | 3RD FLOOR, A WING | 18.08.2010 | 005.115 WOL | 239629 | 18.08.2010 | English Books |