Index
 
Operating Systems
Java
Programming Languages
Smalltalk
C
C++
Assembly
Java
Perl
COBOL
Scripting
Ruby
Others
Hardware
Microsoft Technologies
Computer Science
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | What's New | Missing Link | Feedback

Other Programming



Book Title : An Introduction to Logic Programming Through Prolog
eBook download format(s) : HTM
ISBN-10 : 0135360471 
ISBN-13 : 978-0-135360-47-7 
Author(s) : J. M. Spivey Michael Spivey 
Publisher : Prentice Hall (05 Mar 1996)
Section : Other Programming
Book Review:

Book Description
This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of programming effectively using the logic; and the efficient implementation of logic programming on computers. The book begins with a gentle introduction to logic programming using a number of simple examples, followed by a concise and self-contained account of the logic behind Prolog programming. This leads to a discussion of methods of writing programs so that the process of deriving anwers from them is as efficient as possible. The techniques are illustrated by practical examples and the final part of the book explains how logic programming can be implented efficiently. It includes source code for a small but Complete Prolog implementation written in Pascal. The implementation is capable of running all the programs presented in the book, and is available via the Internet.




add to del.icio.us                 Digg Freebookzone.com!

You may use anyone of the download options


eBook VersionBuy this book from Amazon
Front Cover

Missing Link?, Report It and you may wish to  Buy  this book from amazon

Tell a Friend!

Similar Book titles in Other Programming section:
Ada 95: The Craft of Object-Oriented Programming
Common Lisp: A Gentle Introduction to Symbolic Computation
Pascal Programming
Principles of Programming Languages
Programming Language Examples Alike Cookbook
Prolog Programming: A First Course
ZX81 BASIC Programming
Programming in Oberon - Steps Beyond Pascal and Modula
Ada Distilled: An Introduction to Ada Programming
Rebol Programming For The Absolute Beginner
The Big Online Book of Linux Ada Programming
Natural Language Processing in Prolog
An Introduction to Programming in Emacs Lisp
Modular Programming with Fortran 90
User Notes On Fortran Programming
Learn Prolog Now!
Building Expert Systems in Prolog
Adventure in Prolog
Prolog and Natural Language Analysis
The INTERCAL Programming Language -Revised Reference Manual
The SMALL Programming Language (the Small booklet The Language)
Algae - Another Matrix Programming Language
Programming Forth
Programming In Lua
Job Control Language (JCL) Introduction
Introduction to JCL Objectives
prolog :- tutorial
Linear Programming, Second Edition - Foundations and Extensions
Ada in Action: With Practical Programming Examples, Second Edition
Programming in Standard ML
Type Systems for Programming Languages
Introduction to Functional Programming
The Implementation of Functional Programming Languages
The Craft of Programming
A Practical Theory of Programming, Second Edition
Prolog and Logic Programming
Learning Object Oriented Programming with Delphi
Prolog Experiments in Discrete Mathematics, Logic, and Computability
Introduction to Programming for Image Analysis with VTK


Similar Book titles in Other sections:

Section: Bio-Chemistry
Introduction to Glycolysis
Complexity in Biological Information Processing
Computational Molecular Biology: An Introduction


Section: CS -> Compilers and Languages
Semantics with Applications: A Formal Introduction
Programming Languages: Application and Interpretation
Functional Programming and Parallel Graph Rewriting
Programming in Martin-Lof's Type Theory
Advanced Programming Language Design
Show all..


Section: Data Structures and Algorithms
Introduction to Computer Graphics
Concepts, Techniques, and Models of Computer Programming
Introduction to Algorithms
Patterns for Adaptive Programming (AP)
Art of Programming Contest
Show all..


Section: Multimedia & Game Development
Programming The Nintendo Game Boy Advance: The Unofficial Guide


Section: CS -> Theory
Introduction to Computer Science I
An Introduction to the Theory of Computation (Principles of Computer Science Series)
Introduction to Symbolic Computation
An Introduction to Multigrid Methods
Type Theory and Functional Programming
Show all..


Section: DB -> Datawarehousing
Data Mining - An Introduction Student Notes


Section: DB -> DB / 2
IBM Informix: Integration Through Data Federation
Road Map to DB2 Programming


Section: DB -> Oracle
Oracle Programming with Visual Basic
Oracle PL/SQL Programming, 2nd Edition
Oracle PL/SQL Programming: Guide to Oracle8i Features
Advanced Oracle PL/SQL Programming with Packages (Nutshell Handbook)


Section: DB -> Others
Database Programming with Perl
Introduction to Databases for the Web
Introduction to Databases for Web Developers
Introduction to Sybase
Programming the Perl DBI
Show all..


Section: DB -> Postgre SQL
PostgreSQL: Introduction and Concepts
An Introduction to MySQL


Section: DB -> SQL
Introduction to SQL
A Gentle Introduction to SQL
Structured Query Language (SQL) : A Practical Introduction
Embedded SQL Programming Guide


Section: DB -> SQL Server
SQL Server 2005 Stored Procedure Programming in T-SQL & .NET


Section: Device Drivers
Introduction to Writing Windows CE Display Drivers
Streams Programming Guide


Section: Logic Design and Architecture
An Introduction to VHDL
Contemporary Logic Design
Digital Logic Design Study Guide
Digital Logic
Digital Logic Design - Homework Questions
Show all..


Section: Microprocessor
Assembly Language Programming Tools for the IA-64 Architecture
CAN (Controller Area Network): Introduction and Fundamentals
IA-32 Intel Architecture Software Developer's Manual Volume 3: System Programming Guide
Introduction to Microcontrollers
Programming PIC Microcontroller in C (CC5X compiler)
Show all..


Section: Peripherals
Introduction to PCI
Programming guide and sample code for RTL8139 family
Serial Port Programming Information ZIP
SoundBlaster Programming Information v0.90


Section: Advanced Java
Principles of Object-Oriented Programming in Java
Tricks of Java Programming Gurus
Practical Artificial Intelligence Programming in Java
Introduction to Computer Science Using Java
Concurrent Programming Using Java
Show all..


Section: Java Enterprise Edition
Enterprise Java Beans, an Introduction
Programming Jakarta Struts
BEA WebLogic Server 8.1 Unleashed
Programming Jakarta Struts, 2nd Edition
BEA WebLogic Server Bible
Show all..


Section: Java User Interface
Programming User Interfaces with JFC
Teach Yourself Internet Game Programming With Java in 21 Days
Java 2D: An Introduction and Tutorial


Section: Java Language
Code Conventions for the Java Programming Language
Essentials of the Java Programming Language, Part 1
Essentials of the Java Programming Language, Part 2
Peter Norton's Guide to Java Programming
Teach Yourself Java 1.1 Programming in 24 Hours
Show all..


Section: Java Networking
Web Programming with Java
Java Thin Client Programming


Section: Java Tools
Java Programming Guide for OS/390
IMS Version 7 and Java Application Programming


Section: Life & Health
Awareness through movement: Health exercises for personal growth
Relax into Stretch: Instant Flexibility Through Mastering Muscle Tension


Section: Mathematics
An Introduction to Neural Networks
Introduction to Group Theory
A Computational Introduction to Number Theory and Algebra
A Problem Course in Mathematical Logic
Logic for Computer Science: Foundations of Automatic Theorem Proving
Show all..


Section: Medical
The Pathophysiologic Basis of Nuclear Medicine


Section: Miscellaneous
Artificial Intelligence through Prolog
Michael Abrash's Graphics Programming Black Book
Microsoft RPC Programming Guide
An introduction to Cryptography
Introduction to Sound Processing
Show all..


Section: Microsoft Certifications
Programming Desktop Applications With MS Visual Basic6 MCSD training kit


Section: Microsoft C Sharp (C#)
A Programmer's Introduction to C# (Second Edition)
C# COM+ Programming
C Sharp Network Programming
Programming C# (2nd Edition)
Programmer Introduction to C#
Show all..


Section: Microsoft COM/DCOM/ActiveX/ATL
ActiveX Programming Unleashed
Activex Programming With Visual C++ 5
Programming Distributed Applications With COM And Microsoft Visual Basic 6.0
Teach Yourself Activex Programming in 21 Days
Programming ADO
Show all..


Section: Microsoft .(dot) net
Applied Microsoft .Net Framework Programming
Programming Microsoft.NET
Web Programming with Visual J++


Section: Office Development
Programming Microsoft Visual Interdev 6
Programming Microsoft Office 2000 Web Components
Programming Microsoft Outlook and Microsoft Exchange


Section: Microsoft Visual Basic
Programming Microsoft Visual Basic 6
Web Programming with Visual Basic
COM+ Programming with Visual Basic
Programming VB .NET: A Guide for Experienced Programmers


Section: Microsoft Visual C++
Programming Visual C++, 5th Edition
Teach Yourself Database Programming with VC++ 6 in 21 Days
Programming Windows with MFC
Mastering Windows 2000 Programming with Visual C++


Section: MS Web Technologies
Programming Microsoft Internet Explorer 5
Programming Active Server Pages


Section: Windows Development
Programming the Microsoft Windows Driver Model, Second Edition
Tricks of the Windows Game Programming Gurus (2nd Edition)
Programming Windows CE
Programming Server Side Applications For Microsoft Windows 2000
Programming Applications For Microsoft Windows
Show all..


Section: Networking
Introduction to Data Communications
Introduction to Computer, Internet & Network Systems Security
Programming Principles in Java: Architectures and Interfaces
Fundamentals of Switching Theory and Logic Design: A Hands on Approach


Section: GNU/Linux OS
Introduction to Linux
Advanced Linux Programming
Introduction to Socket Programming
Teach Yourself Shell Programming in 24 Hours
Effective AWK Programming
Show all..


Section: Embedded and RTOS
Programming Embedded Systems in C and C++
Introduction to Robotics: Mechanics and Control


Section: Solaris OS
Programming Interfaces Guide
Streams Programming Guide
Multithreaded Programming Guide


Section: OS Theory
Programming the Be Operating System
Spring Concepts, Internals Architecture and Programming
HOPE: A Programming Model for Optimism
The Art of Unix Programming
A Short Introduction to Operating Systems
Show all..


Section: Unix OS
Nextstep Programming: Step One : Object-Oriented Applications/Book and Disk
The Unix Programming Environment
Introduction to Unix for Web Developers
Volume 7A: XView Programming Manual


Section: Assembly Language
Windows Assembly Language & Systems Programming: 16- And 32-Bit Low-Level Programming for the PC and Windows
Introduction to RISC Assembly Language Programming
Programming from the Ground Up
The Art of Assembly Language Programming
Programmed Introduction to MIPS Assembly Language
Show all..


Section: C Language
Introduction to C and C++ Programming
C Programming Tutorial (K&R version 4)
Writing Bug-Free C Code for Windows: A Programming Style That Automatically Detects Bugs in C Code
Programming in C: A Tutorial
C Programming
Show all..


Section: COBOL Programming
ZingCOBOL: A Beginner's Guide to Programming in COBOL
COBOL Programming Course
COBOL Programming Guide
VisualAge COBOL for Windows Programming Guide
COBOL Programming Standards
Show all..


Section: C++ Language
An Introduction to C++ and Object Oriented Programming
An Introduction to C++ Programming
C++ in Action: Industrial Strength Programming Techniques
C++ Programming for Scientists
C++ Programming HOW-TO
Show all..


Section: Perl Scripting
Advanced Perl Programming
Effective Perl Programming: Writing Better Programs With Perl
Practical Perl Programming
Programming Perl 5.0 CGI Web Pages for Microsoft Windows NT
Programming Perl, 3rd Edition
Show all..


Section: Ruby Programming
Programming Ruby - The Pragmatic Programmer's Guide


Section: Scripting
An Introduction to Scheme and its Implementation
Introduction to TCL/TK
Practical Programming in Tcl and Tk
The Scheme Programming Language, Second Edition
Tclwise - Guide to the Tcl Programming Language
Show all..


Section: Smalltalk
Smalltalk: An Introduction to Application Development Using VisualWorks
Smalltalk and Object Orientation: An Introduction
Smalltalk/V Mac Tutorial and Programming Handbook
Smalltalk-80: The Interactive Programming Environment


Section: Redbooks Draft
IBM/Cisco Multiprotocol Routing: An Introduction and Implementation
GDPS Family - An Introduction to Concepts and Capabilities
Implementing Integrated Windows Server through iSCSI to i5 Servers
IBM System Storage DS3000: Introduction and Implementation Guide
IBM System z9 Business Class Technical Introduction
Show all..


Section: Redbooks
WebSphere Process Integration V6: Business Process Management Modeling through Monitoring
ABCs of z/OS System Programming Volume 9
IBM TotalStorage: Introduction to SAN Routing
Logical Partitions on System i5: A Guide to Planning and Configuring LPAR with HMC on System i
IBM System z9 Business Class Technical Introduction
Show all..


Section: Redpapers
IBM System p5 510 and 510Q Technical Overview and Introduction
IBM BladeCenter JS21 Technical Overview and Introduction
IBM System p5 185 Technical Overview and Introduction
IBM System p5 560Q Technical Overview and Introduction
IBM IntelliStation POWER 185 Technical Overview and Introduction
Show all..


Section: Redpapers Draft
IBM System p5 505 and 505Q Technical Overview and Introduction
IBM System p5 550 and 550Q Technical Overview and Introduction
IBM System p5 510 and 510Q Technical Overview and Introduction
IBM System p5 590 and 595 Technical Overview and Introduction
System x3755 Technical Introduction
Show all..


Section: Software Engineering
How to Design Programs: An Introduction to Programming and Computing
Programming from Specifications
Reusable Software Components: Object-Oriented Embedded Systems Programming in C
Task-Centered User Interface Design - A Practical Introduction
Reasoned Programming
Show all..


Section: Web Programming
Web Client Programming with Perl
CGI Programming on the World Wide Web
Voodoo's Introduction to JavaScript
Introduction to Databases for the Web
CGI Programming Unleashed
Show all..


Section: Web Technology
Introduction to Dynamic HTML
Introduction to Adobe Photoshop
Introduction to Web Design
Introduction to HTML
Introduction to Web Design
Show all..


Section: XML, XSL & UML
A Gentle Introduction to XML
Introduction to XML for Web Developers
A Technical Introduction to XML (N. Walsh)
Introduction to XForms
Introduction to XML Programming
Show all..


Similar Books from Amazon :


Tell a Friend!


©2008 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions