Prolog : a logical approach (Record no. 11280)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01496pam a2200229 a 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 0198538227 : |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9780198538226 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 0198538219 (pbk.) : |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9780198538219 |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.133 |
Item number | DOD |
100 1# - MAIN ENTRY--AUTHOR NAME | |
Personal name | Dodd, A. |
245 10 - TITLE STATEMENT | |
Title | Prolog : a logical approach |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Oxford [England] ; |
-- | New York : |
Name of publisher | Oxford University Press, |
Year of publication | 1990. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | xii, 556 p. : |
Other physical details | illustrations ; |
500 ## - GENERAL NOTE | |
General note | Included Index. |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | 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. |
520 ## - SUMMARY, ETC. | |
Summary, etc | 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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Prolog (Computer program language) |
856 42 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://www.loc.gov/catdir/enhancements/fy0638/89071012-d.html |
856 41 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://www.loc.gov/catdir/enhancements/fy0638/89071012-t.html |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Reference Books |
Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|---|
Reference | Main Library | Main Library | Reference | 28/10/1996 | Purchased | 2375.00 | 005.133 DOD | 003686 | Reference Books |