000			01496pam a2200229 a 4500
020			_a0198538227 :
020			_a9780198538226
020			_a0198538219 (pbk.) :
020			_a9780198538219
082	0	0	_a005.133 _bDOD
100	1		_aDodd, A.
245	1	0	_aProlog : a logical approach
260			_aOxford [England] ; _aNew York : _bOxford University Press, _c1990.
300			_axii, 556 p. : _billustrations ;
500			_aIncluded Index.
505			_aLogic programming; logic specifications; structured data; arithmetic and other built-in facilties; executing Prolog specifications; using Prolog search strategy; controlling logic programs; input and output; modifying the database; programming with modules; Prolog environments; some odds and ends; writing and documenting Prolog predicates; techniques for programming - data structures; techniques for programming - program structure; debugging and testing Prolog programs; developing Prolog applications; the text processor application.
520			_aCommencing with an explanation of how logic may be used as a programming language, this book goes on to explain the practical limitations that at present restrict logic programmers to the use of the subset of logic embodied in the Prolog programming language.
650		0	_aProlog (Computer program language)
856	4	2	_uhttp://www.loc.gov/catdir/enhancements/fy0638/89071012-d.html
856	4	1	_uhttp://www.loc.gov/catdir/enhancements/fy0638/89071012-t.html
942			_cREF
999			_c11280 _d11280