000			01601cam a2200361 i 4500
999			_c200441097 _d59309
001			200441097
003			TR-AnTOB
005			20210527151538.0
007			ta
008			920814s1993 nyua b 001 0 eng
010			_a 92030399
020			_a047157175X (paper)
035			_a(TR-AnTOB)200441097
040			_aDLC _beng _erda _cDLC _dDLC _dTR-AnTOB
041	0		_aeng
050	0	0	_aQA76.73.P76 _bV36 1993
090			_aQA76.73.P76 _bV36 1993
100	1		_aVan Le, T. _eauthor _9130701
245	1	0	_aTechniques of Prolog programming : _bwith implementation of logical negation and quantified goals / _cT. van Le.
264			_aNew York : _bWiley, _cc1993.
300			_axviii, 601 pages : _billustrations ; _c24 cm
336			_atext _btxt _2rdacontent
337			_aunmediated _bn _2rdamedia
338			_avolume _bnc _2rdacarrier
500			_aSystem requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.
504			_aIncludes bibliographical references (p. 585-593) and index.
505	0		_aIntroduction to prolog -- Declarative prolog programming -- Procedural prolog programming -- Control and side-effect features of prolog -- Development of prolog programs -- Advanced programming techniques and data structures -- Search techniques -- Meta-programming in prolog -- Building expert systems in prolog -- Natural language processing in prolog -- System simulation in prolog -- Appendices.
650		0	_aProlog (Computer program language) _92802
650		0	_aNegation (Logic) _9130702
942			_2lcc _cBK