skip to content
Clause and Effect : Prolog Programming for the Working Programmer Preview this item
ClosePreview this item
Checking...

Clause and Effect : Prolog Programming for the Working Programmer

Author: William F Clocksin
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: William F Clocksin
ISBN: 9783642582745 3642582745
OCLC Number: 851793904
Description: 1 online resource (ix, 143 pages)
Contents: 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.
Responsibility: by William F. Clocksin.

Abstract:

This 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.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/851793904> # Clause and Effect : Prolog Programming for the Working Programmer
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "851793904" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866833408#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://dewey.info/class/005.11/e23/> ;
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/108777665> ; # William F. Clocksin
   schema:datePublished "1997" ;
   schema:description "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."@en ;
   schema:description "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.""@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866833408> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/866833408#CreativeWork/> ;
   schema:name "Clause and Effect : Prolog Programming for the Working Programmer"@en ;
   schema:productID "851793904" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/851793904#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866833408#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://link.springer.com/10.1007/978-3-642-58274-5> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-58274-5> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3089145> ;
   schema:workExample <http://worldcat.org/isbn/9783642582745> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/851793904> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/866833408#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/866833408#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://link.springer.com/10.1007/978-3-642-58274-5>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/108777665> # William F. Clocksin
    a schema:Person ;
   schema:familyName "Clocksin" ;
   schema:givenName "William F." ;
   schema:name "William F. Clocksin" ;
    .

<http://worldcat.org/entity/work/data/866833408#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/851793904> ; # Clause and Effect : Prolog Programming for the Working Programmer
    .

<http://worldcat.org/isbn/9783642582745>
    a schema:ProductModel ;
   schema:isbn "3642582745" ;
   schema:isbn "9783642582745" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.