skip to content
The reasoned schemer Preview this item
ClosePreview this item
Checking...

The reasoned schemer

Author: Daniel P Friedman; William E Byrd; Oleg Kiselyov
Publisher: Cambridge, Mass. [u.a.] MIT Press 2005
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:

Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Daniel P Friedman; William E Byrd; Oleg Kiselyov
ISBN: 0262562146 9780262562140
OCLC Number: 835557053
Notes: Includes index
Description: X, 169 S. Ill.
Responsibility: Daniel P. Friedman; William E. Byrd; Oleg Kiselyov. Drawings by Duane Bibby
More information:

Reviews

Editorial reviews

Publisher Synopsis

"Contrary to popular belief, logic programming doesn't always mean programming in Prolog. In this groundbreaking book, Friedman and Kiselyov extend Scheme to form a completely new kind of logic Read more...

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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


<http://www.worldcat.org/oclc/835557053>
library:oclcnum"835557053"
library:placeOfPublication
owl:sameAs<info:oclcnum/835557053>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:author
schema:author
schema:creator
schema:datePublished"2005"
schema:exampleOfWork<http://worldcat.org/entity/work/id/893590>
schema:inLanguage"en"
schema:name"The reasoned schemer"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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