000			01330cam a22002174a 4500
005			20250605164007.0
008			250528s ||||||||||||||||||||||||d
035			_a15842
020			_a387583505
040			_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2
245	1		_aProgramming in Prolog / Fourth Edition
250			_a4th
260			_bSpringler Verlag, _c1994
300			_a282
520			_aThe classic Prolog book which sets the language standard for almost all Prolog implementations. More Detailed Presentation of Prologue Syntax and Data Structures, How a Set of Clauses Generates a Set of Solution. Using ''Cut'' to Modify the Control Sequence of Running Prolog Programs, Many Example Programs are Given and Covering a Wide Range of Interests. New Examples Includes List Processing and Set Operations and Symbolic Differentiation and Simplification of Formulae, Applications of Existing Techniques. Using Grammar Rules. Examining the Design Decisions for Some Aspects of Analyzing Natural Language with Grammar Rules, Predicate Calculus and Clausal Form and Resolution and Theorem Proving and Logic Programming, A Selection of Suggested Exercises and Projects and Problems, Appendices, Index.
700	1		_aClocksin F. W _91855
700	1		_aMellish S. C _91856
942			_cBK
999			_c1392 _d1392