000			01364pam a2200253 a 4500
001			vtls000002116
003			VRT
005			20250102224227.0
008			081117s1996 enka | 001 0 eng
020			_a0135360471 (pbk. : alk. paper)
039		9	_a201402040103 _bVLOAD _c201005220840 _dmalmash _c200811220956 _dvenkatrajand _c200811171357 _dNoora _y200811171355 _zNoora
050	0	0	_aQA76.63 _b.S64 1996
100	1		_aSpivey, J. M. _937922
245	1	3	_aAn Introduction to Logic Programming Through Prolog / _cMichael Spivey.
260			_aLondon ; _aNew York : _bPrentice Hall, _c1996.
300			_ax, 251 p. : _bill. ; _c24 cm.
440		0	_aPrentice-Hall international series in computer science _913248
500			_aIncludes index.
505			_aOverview programming with relations and terms; Horn clause programs; unification and resolution; answers and SLD-resolution; programming examples; negation as failure; program transformation; implementation.
520			_aLogic programming has increasing significance in computer science beyond the current fashion for expert systems. This book takes a software engineering rather than an expert systems/AI approach and covers logical theory, practical programming and PROLOG implementation.
650		0	_aLogic programming. _937923
650		0	_aProlog (Computer program language) _95148
942			_2lcc _n0 _cBK
999			_c16866 _d16866