Ramdan Hours:
Sun - Thu
9.30 AM - 2.30 PM
Iftar in --:--:--
🌙 Maghrib: --:--

Prolog programming for artificial intelligence / (Record no. 13082)

MARC details
000 -LEADER
fixed length control field 02155cam a2200337 i 4500
001 - CONTROL NUMBER
control field 16748567
003 - CONTROL NUMBER IDENTIFIER
control field EG-NcFUE
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20221116150929.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 110425s2012 enka b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2011010795
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780321417466 (pbk.)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number Q336
Item number .B74 2012
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.302855133
Edition number 23
Item number B.I.P
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Bratko, Ivan,
Dates associated with a name 1946-,
Relator term author
245 10 - TITLE STATEMENT
Title Prolog programming for artificial intelligence /
Statement of responsibility, etc Ivan Bratko.
250 ## - EDITION STATEMENT
Edition statement 4th edition
264 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Harlow, England ;
-- New York :
Name of publisher, distributor, etc Addison-Wesley,
Date of publication, distribution, etc 2012
300 ## - PHYSICAL DESCRIPTION
Extent xxi, 673 pages :
Other physical details illustrations ;
Dimensions 24 cm
336 ## - CONTENT TYPE
Source rdacontent
Content type term text
337 ## - MEDIA TYPE
Source rdamedia
Media type term unmediated
338 ## - CARRIER TYPE
Source rdacarrier
Carrier type term volume
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note The Prolog Language 1 Introduction to Prolog 2 Syntax and Meaning of Prolog Programs 3 Lists, Operators, Arithmetic 4 Programming Examples 5 Controlling Backtracking 6 Built-in Predicates 7 Constraint Logic Programming 8 Programming Style and Technique 9 Operations on Data Structures 10 Balanced Trees Part ii Prolog in Artificial Intelligence 11 Problem-Solving as Search 12 Heuristic Search and A* Algorithm 13 Best-First Search: Minimising Time and Space 14 Problem Decomposition and AND/OR Graphs 15 Knowledge Representation and Expert Systems 16 Probabilistic Reasoning with Bayesian Networks 17 Planning 18 Partial order planning and GRAPHPLAN 19 Scheduling, Simulation and Control with CLP 20 Machine Learning 21 Inductive Logic Programming 22 Qualitative Reasoning 23 Language Processing with Grammar Rules 24 Game Playing 25 Meta-Programming Appendix A: Some Differences Between Prolog Implementations Appendix B: Some Frequently Used Predicates Solutions to Selected Exercises Index
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial intelligence
General subdivision Data processing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Prolog (Computer program language)
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ecip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Acquisition method Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
  Dewey Decimal Classification     Computers & Information Technology ( Computer Science ) Main library Main library A2 16/11/2022 Textbooks Donation 2022   006.302855133 B.I.P 00017122 19/02/2025 C.2 16/11/2022 Books
  Dewey Decimal Classification     Computers & Information Technology ( Computer Science ) Main library Main library A2 16/11/2022 Textbooks Donation 2022   006.302855133 B.I.P 00017123 19/02/2025 C.1 16/11/2022 Books