LEADER 01832oam 2200445M 450 001 9911078858903321 005 20191123063210.7 035 $a(CKB)46368343700041 035 $a(DGPO)001195955 035 $a(OCoLC)1065790376 035 $a(EXLCZ)9946368343700041 100 $a20070221d1859 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMessage of the President of the United States, recommending that provision be made for the payment of appropriations, and to meet the outstanding Treasury notes. March 3, 1859. -- Read and ordered to be printed 210 1$aWashington, DC :$c[publisher not identified],$d1859. 215 $a1 online resource (1 page) 225 1 $aSenate executive document / 35th Congress, 2nd session. Senate ;$vno. 44 225 1 $a[United States congressional serial set] ;$v[serial set no. 984] 300 $aBatch processed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aFDLP item number not assigned. 606 $aBudget 606 $aGovernment securities 607 $aUnited States$xAppropriations and expenditures 608 $aLegislative materials.$2lcgft 615 0$aBudget. 615 0$aGovernment securities. 701 $aBuchanan$b James$f1791-1868.$01177411 712 02$aUnited States.$bPresident (1857-1861 : Buchanan) 801 0$bWYU 801 1$bWYU 801 2$bOCLCO 801 2$bOCLCQ 906 $aBOOK 912 $a9911078858903321 996 $aMessage of the President of the United States, recommending that provision be made for the payment of appropriations, and to meet the outstanding Treasury notes. March 3, 1859. -- Read and ordered to be printed$94642156 997 $aUNINA LEADER 05807nam 22006615 450 001 9911150688003321 005 20250731103644.0 010 $a3-642-58274-5 024 7 $a10.1007/978-3-642-58274-5 035 $a(CKB)3400000000104448 035 $a(SSID)ssj0000805511 035 $a(PQKBManifestationID)11436826 035 $a(PQKBTitleCode)TC0000805511 035 $a(PQKBWorkID)10836774 035 $a(PQKB)11503365 035 $a(DE-He213)978-3-642-58274-5 035 $a(MiAaPQ)EBC3089145 035 $a(EXLCZ)993400000000104448 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aClause and Effect $eProlog Programming for the Working Programmer /$fby William F. Clocksin 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (IX, 143 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-62971-8 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $a1. Getting Started -- 1.1 Syntax -- 1.2 Programs -- 1.3 Unification -- 1.4 Execution Model -- 2. Data Structures -- 2.1 Square Bracket Notation -- 2.2 Arithmetic -- 3. Mapping -- Worksheet 10: Full Maps -- Worksheet 11: Multiple Choices -- Worksheet 12: Partial Maps -- Worksheet 13: Removing Duplicates -- Worksheet 14: Partial Maps with a Parameter -- Worksheet 15: Multiple Disjoint Partial Maps -- Worksheet 16: Multiple Disjoint Partial Maps -- Worksheet 17: Full Maps with State -- Worksheet 18: Sequential Maps with State -- Worksheet 19: Scattered Maps with State -- 4. Choice and Commitment -- 4.1 The ?Cut? -- 4.2 A Disjoint Partial Map with Cut -- 4.3 Taming Cut -- 4.4 Cut and Negation-as-Failure -- 4.5 Negation-as-Failure Can Be Misleading -- 5. Difference Structures -- Worksheet 25: Concatenating Lists -- Worksheet 26: Rotations of a List -- Worksheet 27: Linearising -- 5.1 Difference Lists -- 5.2 Solution to Max Tree -- 6. Case Study: Term Rewriting -- 6.1 Symbolic Differentiation -- 6.2 Matrix Products by Symbolic Algebra -- 6.3 The Simplifier -- 7. Case Study: Manipulation of Combinational Circuits -- 7.1 Representing Circuits -- 7.2 Simulation of Circuits -- 7.3 Sums and Products -- 7.4 Simplifying SOP Expressions -- 7.5 Alternative Representation -- 8. Case Study: Clocked Sequential Circuits -- 8.1 Divide-by-Two Pulse Divider -- 8.2 Sequential Parity Checker -- 8.3 Four-Stage Shift Register -- 8.4 Gray Code Counter -- 8.5 Specification of Cascaded Components -- 9. Case Study: A Compiler forThree Model Computers -- 9.1 The Register Machine -- 9.2 The Single-Accumulator Machine -- 9.3 The Stack Machine -- 9.4 Optimisation: Preprocessing the Syntax Tree -- 9.5 Peephole Optimisation -- 10. Case Study: The Fast Fourier Transform in Prolog -- 10.1 Introduction -- 10.2 Notation for Polynomials -- 10.3 The DFT -- 10.4Example: 8-point DFT -- 10.5 Naive Implementation of the DFT -- 10.6 From DFT to FFT -- 10.7 Merging Common Subexpressions -- 10.8 The Graph Generator -- 10.9 Example Run: 8-point FFT -- 10.10 Bibliographic Notes -- 11. Case Study: Higher-Order Functional Programming -- 11.1 Introduction -- 11.2 A Notation for Functions -- 11.3 The Evaluator -- 11.4 Using Higher-Order Functions -- 11.5 Discussion -- 11.6 Bibliographic Notes. 330 $aThis book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. The emphasis of this book is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general. A relatively pure subset of Prolog is used, which includes the 'cut', but no input/output, no assert/retract, no syntactic extensions such as if­ then-else and grammar rules, and hardly any built-in predicates apart from arithmetic operations. I trust that practitioners of Prolog program­ ming who have a particular interest in the finer details of syntactic style and language features will understand my purposes in not discussing these matters. The presentation, which I believe is novel for a Prolog programming text, is in terms of an outline of basic concepts interleaved with worksheets. The idea is that worksheets are rather like musical exercises. Carefully graduated in scope, each worksheet introduces only a limited number of new ideas, and gives some guidance for practising them. The principles introduced in the worksheets are then applied to extended examples in the form of case studies. 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aArtificial intelligence 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aArtificial Intelligence 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aArtificial intelligence. 615 14$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aArtificial Intelligence. 676 $a005.13/3 700 $aClocksin$b William F$4aut$4http://id.loc.gov/vocabulary/relators/aut$025831 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911150688003321 996 $aClause and Effect$94843643 997 $aUNINA