fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
The Reasoned Schemer

The Reasoned Schemer

by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov

Scheme (Computer program language)logic programmingrelational programmingProgramming languages (electronic computers)
5.0
Open Library
Open Library

About this book

The goal of this book is to show the beauty and elegance of relational programming, which captures the essence of logic programming. The book shows how to implement a relational programming language in Scheme, or in any other functional language, and demonstrates the remarkable flexibility of the resulting relational programs. As in the first edition, the pedagogical method is a series of questions and answers, which proceed with the characteristic humor that marked *The Little Schemer* and *The Seasoned Schemer*. Familiarity with a functional language or with the first five chapters of *The Little Schemer* is assumed. For this second edition, the authors have greatly simplified the programming language used in the book, as well as the implementation of the language. In addition to revising the text extensively, and simplifying and revising the "Laws" and "Commandments," they have added explicit "Translation" rules to ease translation of Scheme functions into relations.

Themes & subjects

Scheme (Computer program language)logic programmingrelational programmingProgramming languages (electronic computers)

About the author

Daniel P. Friedman

1944

Authors

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov

Pages

184

Read time

≈ 5h

Editions

5

Language

English

Publisher

MIT Press

ISBN

9780262348775

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

The Scheme Programming Language

Scheme (Computer program language)

The Scheme Programming Language

R. Kent Dybvig

2003

The Scheme programming language

Scheme (Computer program language) · Programming languages (electronic computers)

The Scheme programming language

R. Kent Dybvig

1987

Programming in Scheme

Scheme (Computer program language) · Programmed instruction

Programming in Scheme

Eisenberg, Michael.

1988

The seasoned schemer

LISP (Computer program language) · Scheme (Computer program language)

The seasoned schemer

Daniel P. Friedman

1995

The Little Schemer

LISP (Computer program language) · Scheme (Computer program language)

The Little Schemer

Daniel P. Friedman

1995

Simply scheme

Computer science · Scheme (Computer program language)

Simply scheme

Harvey, Brian

1994

PC Scheme

Microcomputers, handbooks, manuals, etc. · LISP (Computer program language)

PC Scheme

Texas Instruments

1990

Programming in Scheme

Artificial intelligence · Scheme (Computer program language)

Programming in Scheme

Mark Watson

1996

The schematics of computation

Scheme (Computer program language) · Programming languages (electronic computers)

The schematics of computation

Vincent S. Manis

1995

Logic for programming artificial intelligence and reasoning

Logic programming · Congresses

Logic for programming artificial intelligence and reasoning

Moshe Y. Vardi

2003

Foundations of Probabilistic Logic Programming

Logic programming · Machine theory

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

2018

Discrete structures, logic, and computability

Computable functions · Computer science

Discrete structures, logic, and computability

James L. Hein

1994

Handbook of logic in artificial intelligence and logic programming

Logic programming · Symbolic and mathematical Logic

Handbook of logic in artificial intelligence and logic programming

Dov M. Gabbay

1993

The experience of literature

Literature · Collections

The experience of literature

Lionel Trilling

1967

Rules and Reasoning

Semantics · Programming languages (electronic computers)

Rules and Reasoning

Stefania Costantini

2017

Logic functions and equations

Mathematics · Computer logic

Logic functions and equations

Christian Posthoff

2005

Heritage of Western civilization

Civilization · Collections

Heritage of Western civilization

John Louis Beatty

1958

Constraint logic programming using ECLiPSe

Logic programming · Constraint programming (Computer science)

Constraint logic programming using ECLiPSe

Krzysztof R. Apt

2006