عنوان

Prolog Versus You :

شابک

3642719228

شابک

9783642719226

شماره

b573044

عنوان اصلي

Prolog Versus You :

نام عام مواد

[Book]

ساير اطلاعات عنواني

an Introduction to Logic Programming

نام نخستين پديدآور

by Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1989

نام خاص و کميت اثر

(ix, 297 pages 56 illustrations)

متن يادداشت

Logic Programs --; Execution of Logic Programs --; Data Structures --; Databases and Expert Systems --; Program Methodology --; Efficient Computation --; Input and Output --; Prolog Implementations --; Sparringpartner --; Appendix A: Answers to Exercises --; Appendix B: Program Traces --; Appendix C: Transformation Rules --; Appendix D: Built-in Predicates --; Appendix E: ASCII Codes --; Index.

متن يادداشت

Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic programming emphasizes that programming is a human activity and consequently that programs should be easy for humans to write, understand and manipulate. In a program knowledge about the problem is stated in a logical language without consideration of the underlying machine language. This book has emerged from undergraduate courses in logic programming. The relation to logic is described and the necessary logic is provided continuously. No previous programming experience is assumed and it can be used by beginners as well as by advanced programmers. The book emphasizes the declarative reading of Prolog programs which greatly facilitates the thinking about the problems and yields programs easy to understand. The book covers logic programs, their execution and data structures; databases and expert systems; program synthesis, program correctness and program transformation as well as an efficient computation of Prolog programs. Each chapter ends with some exercises (with solutions). The book also contains a thorough index, appendices and a chapter on Prolog implementations: DECsystem-10 Prolog, Tricia, Quintus Prolog, MProlog, Turbo Prolog, micro-Prolog and LM-Prolog.

موضوع مستند نشده

Artificial intelligence.

موضوع مستند نشده

Computer science.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

by Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman.

مستند نام اشخاص تاييد نشده

Agneta Eriksson-Granskog

مستند نام اشخاص تاييد نشده

Anna-Lena Johansson

مستند نام اشخاص تاييد نشده

Anneli Edman

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y