000			01364nam a2200217Ia 4500
003			NULRC
005			20250520094849.0
008			250520s9999 xx 000 0 und d
020			_a130486795
040			_cNULRC
050			_aQA 76.7 .R69 1988
100			_aRowe, Neil C. _eauthor
245		0	_aArtificial intelligence through Prolog / _cNeil C. Rowe
260			_aNew Jersey : _bPrentice-Hall International Inc., _cc1988
300			_axx, 443 pages ; _c24 cm.
504			_aIncludes bibliographical references and index.
505			_a1. Introduction -- 2. Representing facts -- 3. Variables and queries -- 4. Definitions and inferences -- 5. Arithmetic and lists in prolog -- 6. Control structures for rule-based systems -- 7. Implementation of rule-based systems -- 8. Representing uncertainty in rule-based systems -- 9. Search -- 10. Implementing search -- 11. Abstraction in search -- 12. Abstraction of facts -- 13. Problems with many constraints -- 14. A more general logic programming -- 15. Testing and debugging of artificial-intelligence programs.
520			_aThis book has about 500 chunks of code. Clear, concrete formalization of artificial-intelligence ideas by programs and program fragments is all the more critical today with commercialization and media discovery of the field.
650			_aARTIFICIAL INTELLIGENCE
942			_2lcc _cBK
999			_c4705 _d4705