![PROLOG for Computer Science [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
PROLOG for Computer Science [electronic resource] /
Prolog is important as one of the major programming languages. Beginning with a chapter on logic (which makes the book particularly useful to undergraduate students), Prolog for Computer Science provides a comprehensive tutorial that assumes no prior knowledge of programming. There are lots of realistic examples and case-studies, including an English-Dutch translator.
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
London : Springer London,
1994
|
| Subjects: | Computer science., Programming languages (Electronic computers)., Computer logic., Computer Science., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs., |
| Online Access: | http://dx.doi.org/10.1007/978-1-4471-2031-5 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:180668 |
|---|---|
| record_format |
koha |
| spelling |
KOHA-OAI-TEST:1806682018-07-30T23:00:50ZPROLOG for Computer Science [electronic resource] / Dawe, M. S. author. Dawe, C. M. author. SpringerLink (Online service) textLondon : Springer London,1994.engProlog is important as one of the major programming languages. Beginning with a chapter on logic (which makes the book particularly useful to undergraduate students), Prolog for Computer Science provides a comprehensive tutorial that assumes no prior knowledge of programming. There are lots of realistic examples and case-studies, including an English-Dutch translator.1 • Prolog -- 1.1 Why Learn Prolog? -- 1.2 Why Use this book? -- 1.3 Prolog -- 1.4 Limitations of Prolog -- 1.5 Past, Present and Future -- 1.6 Accessibility -- 2 • Logic -- 2.1 Introduction -- 2.2 Traditional Logic -- 2.3 Symbolic Logic -- 2.4 Predicate Logic -- 2.5 Deductive Systems in the Real World -- 3 • Logic Programming -- 3.1 Predicate Logic for Prolog -- 3.2 Clauses in Predicate Logic -- 3.3 Resolution -- 3.4 Computation Rules -- 4 • Prolog Syntax -- 4.1 Entering Statements at Prolog’s Command Line -- 4.2 Using a Text Editor to Write a Program -- 4.3 Comments -- 4.4 Terms -- 4.5 Predicates -- 4.6 Clauses -- 4.7 Variables -- 4.8 Logical Connectives -- 4.9 Rules -- 4.10 Empty Heads -- 4.11 Making Queries -- 4.12 Built-in Predicates -- 4.13 Operators -- 4.14 Declaring an Operator -- 4.15 Blank Variables -- 4.16 Equality -- 4.17 Recursion -- 4.18 Updating a Running Program -- 4.19 Lists -- 4.20 Applications -- 5 • Goal Searching and Its Control -- 5.1 Goals -- 5.2 Search Control -- 5.3 Extra Search Control Predicates -- 6 • Arithmetic and Mathematics -- 6.1 Introduction -- 6.2 Arithmetic Predicates -- 6.3 Programs Using Arithmetic Predicates -- 6.4 Mathematical Functions -- 6.5 Mathematical Operations -- 6.6 Application -- 7 • Input and Output Predicates -- 7.1 User Interaction -- 7.2 write (term) and read (term) -- 7.3 get (Ascii), getO (Ascii) and put (Ascii) -- 7.4 tab (I) and ni -- 7.5 name (atom, code) -- 7.6 Using Data Files -- 7.7 Controlling the Input and Output Streams -- 8 • Data Structures -- 8.1 Introduction -- 8.2 Lists -- 8.3 Operations on Lists -- 8.4 Semantic Networks -- 8.5 Frames -- 8.6 If … Then … Rules -- 9 • Preventing and Removing Program Errors -- 9.1 Introduction -- 9.2 Errors in the Modelling Process -- 9.3 Syntax Errors -- 9.4 Type Testing of Terms -- 9.5 More on Type Testing -- 9.6 Programming Style -- 9.7 Errors Due to Search Control -- 9.8 Debugging -- 10 • Natural Languages -- 10.1 Parsing -- 10.2 An English to Dutch Translator -- 11 • Philosophical Issues -- 11.1 Introduction -- 11.2 Machine Intelligence -- 11.3 Empirical Significance -- 12 • Parallel Processing Prolog -- 12.1 Parallel Processing -- 12.2 Parallel Processing for Prolog -- Appendix 1 -- Dictionary of Built-in Predicates -- Appendix 2 -- Glossary of Terms -- Appendix 3 -- Common Error Statements -- Appendix 4 -- ASCII Codes -- Appendix 5 -- List of Operator Precedences -- Appendix 6 -- Prolog Versions -- Appendix 7 -- Further Reading -- Appendix 8 -- Leashing Directory -- References -- Answers to Selected Questions.Prolog is important as one of the major programming languages. Beginning with a chapter on logic (which makes the book particularly useful to undergraduate students), Prolog for Computer Science provides a comprehensive tutorial that assumes no prior knowledge of programming. There are lots of realistic examples and case-studies, including an English-Dutch translator.Computer science.Programming languages (Electronic computers).Computer logic.Computer Science.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Springer eBookshttp://dx.doi.org/10.1007/978-1-4471-2031-5URN:ISBN:9781447120315 |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Computer science. Programming languages (Electronic computers). Computer logic. Computer Science. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Computer science. Programming languages (Electronic computers). Computer logic. Computer Science. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. |
| spellingShingle |
Computer science. Programming languages (Electronic computers). Computer logic. Computer Science. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Computer science. Programming languages (Electronic computers). Computer logic. Computer Science. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Dawe, M. S. author. Dawe, C. M. author. SpringerLink (Online service) PROLOG for Computer Science [electronic resource] / |
| description |
Prolog is important as one of the major programming languages. Beginning with a chapter on logic (which makes the book particularly useful to undergraduate students), Prolog for Computer Science provides a comprehensive tutorial that assumes no prior knowledge of programming. There are lots of realistic examples and case-studies, including an English-Dutch translator. |
| format |
Texto |
| topic_facet |
Computer science. Programming languages (Electronic computers). Computer logic. Computer Science. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. |
| author |
Dawe, M. S. author. Dawe, C. M. author. SpringerLink (Online service) |
| author_facet |
Dawe, M. S. author. Dawe, C. M. author. SpringerLink (Online service) |
| author_sort |
Dawe, M. S. author. |
| title |
PROLOG for Computer Science [electronic resource] / |
| title_short |
PROLOG for Computer Science [electronic resource] / |
| title_full |
PROLOG for Computer Science [electronic resource] / |
| title_fullStr |
PROLOG for Computer Science [electronic resource] / |
| title_full_unstemmed |
PROLOG for Computer Science [electronic resource] / |
| title_sort |
prolog for computer science [electronic resource] / |
| publisher |
London : Springer London, |
| publishDate |
1994 |
| url |
http://dx.doi.org/10.1007/978-1-4471-2031-5 |
| work_keys_str_mv |
AT dawemsauthor prologforcomputerscienceelectronicresource AT dawecmauthor prologforcomputerscienceelectronicresource AT springerlinkonlineservice prologforcomputerscienceelectronicresource |
| _version_ |
1756264717803847680 |