Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Functional

Clause and Effect: Prolog Programming for the Working Programmer


Blowout Sale! Save 74% on the Clause and Effect: Prolog Programming for the Working Programmer by Brand: Springer at EMS Linux. MPN: references, index. Hurry! Limited time offer. Offer valid only while supplies last. 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


Product Description

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. 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.

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Part Number:references, index
Publisher:Springer
Studio:Springer
MPN:references, index
EAN:9783540652373
Item Weight:0.55 pounds
Item Size:0.36 x 9.25 x 9.25 inches
Package Weight:0.66 pounds
Package Size:6.06 x 0.39 x 0.39 inches

Clause and Effect: Prolog Programming for the Working Programmer by Brand: Springer

Buy Now:
Clause and Effect: Prolog Programming for the Working Programmer

Brand: Brand: Springer
4.8 out of 5 stars with 11 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$74.99
$20.24
You Save: 73%


Quantity:  

 


View More In Functional.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By O'Reilly Media
ean: 9781491977682, isbn: 149197768X,
If you’re just getting started with Perl 6, this is the book you want, whether you’re a programmer, system administrator, or web hacker. Perl 6 isn’t just another version of the language—it’s a modern reinvention of Perl, suitable for almos...

By CreateSpace Independent Publishing Platform
ean: 9781979788786, isbn: 1979788782,
If you’ve had trouble trying to learn Functional Programming (FP), you’re not alone. In this book, Alvin Alexander — author of the Scala Cookbook and former teacher of Java and Object-Oriented Programming (OOP) classes — writes about his own ...

By Pragmatic Bookshelf
ean: 9781680502992, isbn: 1680502999,
This book is the introduction to Elixir for experienced programmers, completely updated for Elixir 1.6 and beyond. Explore functional programming without the academic overtones (tell me about monads just one more time). Create concurrent applications...

By Manning Publications
mpn: black & white illustrations, figures, ean: 9781617291999, isbn: 1617291994,
SummaryJava 8 in Action is a clearly written guide to the new features of Java 8. The book covers lambdas, streams, and functional-style programming. With Java 8's functional features you can now write more concise code in less time, and also automat...

By O'Reilly Media
mpn: 42695641, ean: 9781491927281, isbn: 1491927283,
Rust is a new systems programming language that combines the performance and low-level control of C and C++ with memory safety and thread safety. Rust’s modern, flexible types ensure your program is free of null pointer dereferences, double frees, ...

By Big Nerd Ranch Guides
ean: 9780135161630, isbn: 0135161630,
Kotlin is a statically typed programming language designed to interoperate with Java and fully supported by Google on the Android operating system. Based on Big Nerd Ranch’s popular Kotlin Essentials course, this guide shows you how to work eff...

By Cambridge Scholars Publishing
ean: 9781527503717, isbn: 1527503712,
The amount of digital systems supporting our daily life is increasing continuously. Improved technical facilities for their production have led to growing challenges for engineers and scientists working in the Boolean domain. A Boolean variable can o...

By Brand: Springer
ean: 9780792322290, isbn: 0792322290,
Spline functions entered Approximation Theory as solutions of natural extremal problems. A typical example is the problem of drawing a function curve through given n + k points that has a minimal norm of its k-th derivative. Isolated facts about the ...

By Springer
mpn: 13 black & white illustrations, biograph, ean: 9781475782547, isbn: 1475782543,
This book is meant as a present to honor Professor on the th occasion of his 70 birthday. It collects refereed contributions from sixty-one mathematicians from eleven countries. They cover many different areas of research related to the work of Profe...

By Springer
ean: 9783319392271, isbn: 3319392271,
This book focuses on the approximation of nonlinear equations using iterative methods. Nine contributions are presented on the construction and analysis of these methods, the coverage encompassing convergence, efficiency, robustness, dynamics, and ap...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.