Learn IT - Books tags prolog

Compiler Design: Virtual Machines

Springer, 2010

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages, while additional...

Programming Language Pragmatics, Second Edition

Morgan Kaufmann, 2005

"Michael Scott's book could have been entitled: Why Programming Languages Work. It takes a fresh look at programming languages by bringing together ideas and techniques usually covered in disparate language design, compiler, computer architecture, and operating system courses. Its comprehensive and integrated presentation of language...

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines

Springer, 2006

Foundation of logic historically dates back to the times of Aristotle, who pioneered the concept of truth/falsehood paradigm in reasoning. Mathematical logic of propositions and predicates, which are based on the classical models of Aristotle, underwent a dramatic evolution during the last 50 years for its increasing applications in automated...

Advanced Programming Language Design

Addison Wesley, 1995

This book stems in part from courses taught at the University of Kentucky
and at the University of Wisconsin–Madison on programming language design.
There are many good books that deal with the subject at an undergraduate
level, but there are few that are suitable for a one-semester graduatelevel
course. This book is my...

An Extended Entity-Relationship Model: Fundamentals and Pragmatics (Lecture Notes in Computer Science)

Springer, 1994

Studying modern database languages one recognizes that there is a gap between language features and theoretical foundations:

* Studies of the formal foundations exist for the relational data model but not for the Entity-Relationship model, which is a model used by numerous practical people. Also, most extensions of...

$Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation (Pragmatic Programmers)$

Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation (Pragmatic Programmers)

Pragmatic Bookshelf, 2013

Mathematics is beautiful--and it can be fun and exciting as well as practical. Good Math is your guide to some of the most intriguing topics from two thousand years of mathematics: from Egyptian fractions to Turing machines; from the real meaning of numbers to proof trees, group symmetry, and mechanical computation. If you've ever...

Theoretical Introduction to Programming

Springer, 2005

Including easily digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML. This book is intended to...

Artificial Intelligence: Structures and Strategies for Complex Problem Solving (6th Edition)

Addison Wesley, 2008

was very pleased to be asked to produce the sixth edition of my artificial intelligence book. It is a compliment to the earlier editions, started over twenty years ago, that our approach to AI has been so highly valued. It is also exciting that, as new development in the field emerges, we are able to present much of it in each new...

Building Parsers With Java

Addison Wesley, 2001

Parser building is a powerful programming technique that opens a world of opportunity for designing how users interact with applications. By creating mini-languages, you can precisely address the requirements of your application development domain. Writing your own parsers empowers you to access a database more effectively than SQL to efficiently...

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

Addison Wesley, 1994

This text developed out of our experiences teaching courses covering the formal semantics of programming languages. Independently we both developed laboratory exercises implementing small programming languages in Prolog following denotational definitions. Prolog proved to be an excellent tool for illustrating the formal semantics of programming...

The Anatomy of Programming Languages

Prentice Hall, 1993

This comprehensive discussion of the components of a programming language emphasises how a language is built. It covers core concepts including specification, objects, expressions, control and types with discussions of fundamentals, implementations strategies and related semantic issues. The book also focuses on current topics such as modules and...

Programming Languages: Principles and Practices

Cengage Learning, 2011

Kenneth Louden and Kenneth Lambert's new edition of PROGRAMMING LANGUAGES: PRINCIPLES AND PRACTICE, 3E gives advanced undergraduate students an overview of programming languages through general principles combined with details about many modern languages. Major languages used in this edition include C, C++, Smalltalk, Java, Ada, ML,...

Result Page: 4 3 2 1