Cargando…
Clause and Effect : Prolog Programming for the Working Programmer /
This workbook is for programmers who are new to Prolog and who wish to write useful Prolog programs. The emphasis is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. A relatively pure...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1997.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn851793904 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr mnu---uuaaa | ||
| 008 | 121227s1997 gw ob 001 0 eng | ||
| 010 | |a 97035795 | ||
| 040 | |a AU@ |b eng |e pn |c AU@ |d OCLCO |d OCLCQ |d GW5XE |d OCLCF |d COO |d OCLCQ |d EBLCP |d OCLCQ |d YDX |d UAB |d OCLCQ |d LEAUB |d OCLCQ |d UKAHL |d VT2 |d K6U |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d INARC | ||
| 019 | |a 934981939 |a 1262689429 |a 1424807264 | ||
| 020 | |a 9783642582745 |q (electronic bk.) | ||
| 020 | |a 3642582745 |q (electronic bk.) | ||
| 020 | |z 9783540629719 | ||
| 020 | |z 3540629718 | ||
| 029 | 0 | |a AU@ |b 000051695776 | |
| 029 | 1 | |a NZ1 |b 14999417 | |
| 029 | 1 | |a NZ1 |b 15618741 | |
| 029 | 1 | |a AU@ |b 000069423462 | |
| 035 | |a (OCoLC)851793904 |z (OCoLC)934981939 |z (OCoLC)1262689429 |z (OCoLC)1424807264 | ||
| 050 | 4 | |a QA76.6-76.66 | |
| 072 | 7 | |a UM |2 bicssc | |
| 072 | 7 | |a COM051000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.11 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Clocksin, William F. | |
| 245 | 1 | 0 | |a Clause and Effect : |b Prolog Programming for the Working Programmer / |c by William F. Clocksin. |
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg, |c 1997. | ||
| 300 | |a 1 online resource (ix, 143 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | |a Getting Started -- Data Structures -- Mapping -- Choice and Commitment -- Difference Structures -- Case Study: Term Rewriting -- Case Study: Manipulation of Combinational Circuits -- Case Study: Manipulation of Clocked Sequential Circuits -- Case Study: A Compiler for Three Model Computers -- Case Study: The Fast Fourier Transform in Prolog -- Case Study: Higher Order Functional Programming -- Appendix -- References -- Index. | |
| 520 | |a This workbook is for programmers who are new to Prolog and who wish to write useful Prolog programs. The emphasis is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. A relatively pure subset of Prolog is used and the focus is not on particular features of the language. The presentation is novel. An outline of basic concepts is interleaved with worksheets, which are graduated in scope and give guidance for practising new ideas. Extended examples in the form of case studies then apply the ideas. The book can be a useful companion to two other Springer books, as a sequel to the author's introductory text "Programming in Prolog" and alongside the reference manual "Prolog: The Standard." | ||
| 504 | |a Includes bibliographical references and index. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 2 | |a Electronic Data Processing | |
| 650 | 2 | |a Artificial Intelligence | |
| 650 | 6 | |a Informatique. | |
| 650 | 6 | |a Génie logiciel. | |
| 650 | 6 | |a Intelligence artificielle. | |
| 650 | 7 | |a artificial intelligence. |2 aat | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Computer science |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 758 | |i has work: |a Clause and effect (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG8m8bcMtRRMmQQDY9bkwC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |z 9783540629719 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3089145 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH29497796 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL3089145 | ||
| 938 | |a YBP Library Services |b YANK |n 13359261 | ||
| 938 | |a Internet Archive |b INAR |n clauseeffectprol0000cloc | ||
| 994 | |a 92 |b IZTAP | ||