Techniques of Prolog programming : (Record no. 164166)

MARC details
000 -LEADER
fixed length control field 00895pam a2200265 a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0471599700 (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 047157175x (pbk.)
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.73.P76
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) VAN
003 - CONTROL NUMBER IDENTIFIER
control field
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230123134334.0
040 ## - CATALOGING SOURCE
Transcribing agency NUST
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Van Le, T.
245 10 - TITLE STATEMENT
Title Techniques of Prolog programming :
Remainder of title with implementation of logical negation and quantified goals /
Statement of responsibility, etc. T. van Le.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. Wiley,
Date of publication, distribution, etc. 1993.
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 601 p. :
Other physical details ill. ;
Dimensions 24 cm.
500 ## - GENERAL NOTE
General note System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.
500 ## - GENERAL NOTE
General note Includes index.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Prolog (Computer program language).
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Negation (Logic).
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b10225493
b 25-01-18
c 22-01-07
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Ordinary Loan Books
Call number prefix QA76.73.P76
Call number suffix VAN
Holdings
Date last seen Total Checkouts Full call number Barcode Cost, replacement price Price effective from Koha item type Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Withdrawn status Home library Current library Shelving location Date acquired Cost, normal purchase price
01/23/2023   QA76.73.P76 VAN 92003012497 80.00 01/23/2023 BOOKS   LCC     NFIC   MAIN MAIN GEN 01/23/2023 80.00