000			02155cam a2200337 i 4500
999			_c13082 _d13082
001			16748567
003			EG-NcFUE
005			20221116150929.0
008			110425s2012 enka b 001 0 eng
010			_a 2011010795
020			_a9780321417466 (pbk.)
040			_aDLC _cDLC _dDLC
042			_apcc
050	0	0	_aQ336 _b.B74 2012
082	0	0	_a006.302855133 _223 _bB.I.P
100	1		_aBratko, Ivan, _d1946-, _eauthor
245	1	0	_aProlog programming for artificial intelligence / _cIvan Bratko.
250			_a4th edition
264		1	_aHarlow, England ; _aNew York : _bAddison-Wesley, _c2012
300			_axxi, 673 pages : _billustrations ; _c24 cm
336			_2rdacontent _atext
337			_2rdamedia _aunmediated
338			_2rdacarrier _avolume
504			_aIncludes bibliographical references and index.
505	0		_aThe 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	_aArtificial intelligence _xData processing.
650		0	_aProlog (Computer program language)
906			_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg
942			_2ddc _cBK