1. Home
  2. E-Book
  3. An Introduction to Logic Programming through Prolog

An Introduction to Logic Programming through Prolog by Michael Spivey

An Introduction to Logic Programming through Prolog

An Introduction to Logic Programming through Prolog by Michael Spivey
An Introduction to Logic Programming through Prolog by Michael Spivey
Publisher: Prentice Hall 2008
ISBN/ASIN: 0135360471
ISBN-13: 9780135360477
Number of pages: 258
Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.
Computers & Internet Programming Languages & Tools Prolog
Go To Read/Download Page
Home Page

More Free E-Books For Languages & Tools

Similar Books For Languages & Tools

1. Practical Guide to Bare Metal C++ by Alex Robenko
2. C++ Best Practices by Jason Turner
3. Learn to Code With C by Simon Long
4. TypeScript Deep Dive by Basarat Ali Syed
5. Python Data Science Handbook by Jake VanderPlas
6. The Power of Prolog by Markus Triska
7. Python for Everybody: Exploring Data in Python 3 by Charles R. Severance
8. An Introduction to the C Programming Language and Software Design by Tim Bailey
9. Introduction To MIPS Assembly Language Programming by Charles W. Kann
10. Functional PHP by Luis Atencio
11. Picking a Python Version: A Manifesto by David Mertz
12. Getting Started with Erlang by
13. Visual Basic for Applications by
14. Exploring ES6: Upgrade to the Next Version of JavaScript by Axel Rauschmayer
15. Yet Another Haskell Tutorial by Hal Daume III
16. Haskell Tutorial by Conrad Barski
17. Exploring Generic Haskell by Andres Loh
18. Beautiful Code, Compelling Evidence by J.R. Heard
19. Learn C++ Programming Language by
20. The Ultimate Question of Programming, Refactoring, and Everything by Andrey Karpov
21. C Programming for Beginners by
22. The Hitchhiker's Guide to Python by Kenneth Reitz
23. Learning to Program with Visual Basic and .NET Gadgeteer by Sue Sentance, et al.
24. Algorithmic Problem Solving with Python by John B. Schneider, Shira Lynn Broschat, Jess Dahmen
25. Programming Abstractions in C++ by Eric S. Roberts
26. Essential Perl by Nick Parlante
27. Essential C by Nick Parlante
28. Make Games with Python by Sean M. Tracey
29. I Love Ru by
30. Automate the Boring Stuff with Python by Al Sweigart
31. Modern C by Jens Gustedt
32. Java with BlueJ by Ron McFadyen
33. Building Front-End Web Apps with AngularJS and Parse.com by Bo Li, Gerd Wagner
34. Building Back-End Web Apps with Java, JPA and JSF by Gerd Wagner, Mircea Diaconescu
35. Stuff Goes Bad: Erlang in Anger by Fred Hebert
36. The Programming Language LISP: Its Operation and Applications by E.C. Berkeley, D.G. Bobrow
37. LISP 1.5 Primer by Clark Weissman
38. x86-64 Assembly Language Programming with Ubuntu by Ed Jorgensen
39. LISP 1.5 Programmer's Manual by John McCarthy
40. Your First Meteor Application by David Turnbull
41. Java, Java, Java: Object-Oriented Problem Solving by Ralph Morelli, Ralph Walde
42. Building Front-End Web Apps with Plain JavaScript by Gerd Wagner
43. Understanding ECMAScript 6 by Nicholas C. Zakas
44. Building Web Apps with Go by Jeremy Saenz
45. You Don't Know JS: Scope and Closures by Kyle Simpson
46. The Little Go Book by Karl Seguin
47. Object Oriented Programming using C# by Simon Kendal
48. C# 1: Introduction to programming and the C# language by Poul Klausen
49. Learn Objective-C in 24 Days by Feifan Zhou
50. High Performance Python by Ian Ozsvald

Free E-Books For Computers & Internet
Free E-Books For Programming
Free E-Books For Languages & Tools
Free E-Books For Prolog



Categories