PROLOG: A Logical Approach

by Anthony Dodd and Tony Dodd

Procedural programming languages, such as FORTRAN, Pascal, and C, expect the programmer to build a representation of the solution to a problem using a model of the execution process of a computer. The goal of logic programming is to provide a higher level formalism, in which the solution is represented using a formal representation that was in use before computers were invented: human reasoning. The present volume starts with an explanation of how...

• Format: Paperback
• Language: English
• ISBN: 0198538219
• ISBN13: 9780198538219
• Release Date: November 1990
• Publisher: Oxford University Press, USA
• Length: 568 Pages
• Weight: 2.13 lbs.
• Dimensions: 1.2" x 6.3" x 9.2"