Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 4 of about 4 citing The Practice of Prolog.

Logic for Applications

Anil Nerode, Richard Shore - Computers - 1997 - 456 pages
Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of ...
Limited preview - About this book

Organization of Programming Languages

Bernd Teufel - Computers - 1991 - 208 pages
Beside the computers itself, programming languages are the most important tools of a computer scientist, because they allow the formulation of algorithms in a way that a ...
Snippet view - About this book

The Art of Prolog: Advanced Programming Techniques

Leon Sterling, Ehud Y. Shapiro - Computers - 1994 - 509 pages
This second edition contains revised chapters taking into account recent research advances. More advanced exercises have been included, and "Part II The Prolog Language" has ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search