The reasoned schemer

"Adding logic capabilities required the introduction of new forms. The authors' goal is to show to what extent writing logic programs is the same as writing functional programs using these forms. In this way, the reader of The Reasoned Schemer will come to understand how simple logic progr...

Full description

Saved in:
Bibliographic Details
Main Author Friedman, Daniel P.
Other Authors Byrd, William E., Kiselyov, Oleg
Format eBook
LanguageEnglish
Published Cambridge, Mass. : MIT Press, c2005.
Subjects
Scheme (Computer program language)
elektronické knihy
electronic books
Online AccessFull text
ISBN9780262256179
Physical Description1 online zdroj (x, 169 p.) : ill.

Cover

More Information
Summary:"Adding logic capabilities required the introduction of new forms. The authors' goal is to show to what extent writing logic programs is the same as writing functional programs using these forms. In this way, the reader of The Reasoned Schemer will come to understand how simple logic programming is and how easy it is to define functions that behave like relations."--BOOK JACKET.
Item Description:Includes index.
Bibliography:Includes bibliographical references and index.
ISBN:9780262256179
Access:Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
Physical Description:1 online zdroj (x, 169 p.) : ill.

Similar Items