| 000 | 01485nam a2200217Ia 4500 | ||
|---|---|---|---|
| 003 | NULRC | ||
| 005 | 20250520094858.0 | ||
| 008 | 250520s9999 xx 000 0 und d | ||
| 020 | _a9780132303682 | ||
| 040 | _cNULRC | ||
| 050 | _aQA 76.73 .A68 1997 | ||
| 100 |
_aApt, Krzysztof R. _eauthor |
||
| 245 | 0 |
_aFrom logic programming to Prolog / _cKrzysztof R. Apt. |
|
| 260 |
_aLondon, United Kingdom : _bPrentice-Hall, _cc1997 |
||
| 300 |
_axviii, 328 pages ; _c24 cm. |
||
| 504 | _aIncludes index. | ||
| 505 | _aList of figures -- List of programs -- Preface -- Acknowledgements -- 1. Introduction -- 2. Unification -- 3. Logic programs: procedural interpretation -- 4. Logic programs: declarative interpretation -- 5. Programming in pure Prolog -- 6. Terminations -- 7. The occur-check problem -- 8. Partial correctness -- 9. Programming in Pure Prolog with arithmetic -- 10. Verification of Pure Prolog programs with arithmetic -- 11. Towards full Prolog -- Index. | ||
| 520 | _aFrom Logic Programming to Prolog is a unique publication that provides an introduction to the theory of logic programming, and its application to Prolog programs. While logic programming and Prolog are closely related, other texts have always treated them separately. Books on logic programming have focused on the theoretical foundations of the subject, whilst Prolog texts have always concentrated on language features and programming techniques. | ||
| 650 | _aLOGIC PROGRAMMING | ||
| 942 |
_2lcc _cBK |
||
| 999 |
_c5108 _d5108 |
||