Prolog is a programming language, but a rather unusual one. ``Prolog'' is shortfor ``Programming with Logic'', and the link with logic gives Prolog itsspecial character. At the heart of Prolog lies a surprising idea: don't tellthe computer what to do. Instead, describe situations of interest, and computeby asking questions. Prolog will logically deduce new facts about thesituations and give its deductions back to us as answers.Why learn Prolog? For a start, its ``say what the problem is, rather than howto solve it'' stance, means that it is a very high level language, good forknowledge rich applications such as artificial intelligence, natural languageprocessing, and the semantic web. So by studying Prolog, you gain insight intohow sophisticated tasks can be handled computationally. Moreover, Prologrequires a different mindset. You have to learn to see problems from a newperspective, declaratively rather than procedurally.Acquiring this mindset, and learning to appreciate the links between logic andprogramming, makes the study of Prolog both challenging and rewarding.Learn Prolog Now! is a practical introduction to this fascinatinglanguage. Freely available as a web-book since 2002 (seewww.learnprolognow.org) Learn Prolog Now! has became one of the mostpopular introductions to the Prolog programming language, an introductionprized for its clarity and down-to-earth approach. It is widely used as atextbook at university departments around the world, and even more widely usedfor self study.College Publications is proud to present here the first hard-copy version ofthis online classic. Carefully revised in the light of reader's feedback, andnow with answers to all the exercises, here you will find the essentialmaterial required to help you learn Prolog now.
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic...124,89 zł
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also żeby philosophical and computational...142,56 zł
Prolog is a programming language, but a rather unusual one. ``Prolog'' is shortfor ``Programming with Logic'', and the link with logic gives...142,56 zł
This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary...142,56 zł
The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together...158,05 zł
This text aims to convey some of the interest and charm of modal logic, and to put a reader new to the subject in a position to have an informed...180,19 zł
This book is designed for readers who knowelementary mathematical logic and axiomatic settheory, and who want to learn more about set theory.The...138,19 zł
Larry Powers' Non-contradiction is an engaging, innovative,and delightful book. It re-tells the story of Greek philosophyfrom the novel starting...131,64 zł
Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical...140,58 zł
"The importance of questions is beyond doubt. But the degree of attention paid to them in logic and linguistics is still less than they deserve."(from...94,11 zł
Smith contends that there is no possible solution to our global ecological crisis within the framework of any conceivable capitalism. The only...122,71 zł
Opinie i recenzje użytkowników
Dodaj opinie lub recenzję dla Learn prolog now. Twój komentarz zostanie wyświetlony po moderacji.