PROLOG
A Logical Approach
Tony Dodd(Author)
Oxford University Press
Published on 31. October 1990
Book
Hardback
568 pages
978-0-19-853822-6 (ISBN)
Description
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: logic. The present volume starts with an explanation of how logic may be used as a programming language, and then explains the practical limitations that at present restrict logic programmers to the use of the subset of logic embodied in the prolog programming language. Enhancements to Prolog that compensate for the weakness of its underlying logic, but compromise the purity of the language are then introduced. Most Prolog systems add to the logical core of the language a bewildering variety of extra features for procedural tasks such as input/output. The second part of the book presents some of the most commonly met features, including all facilities that are common to all Prologs. As well as the most commonly used facilities, there is an account of more abstruse topics such as garbage collection.
The third part of the volume is concerend with programming style. Its principal aim is to show that despite the illogicalities available in Prolog, the programmer may construct programs that conform to the principles of logic programming by adhering to a number of design criteria. Efficiency of programs is also considered at length. An approach to debugging Polog programs is presented. Finally the process of designing Prolog programs is discussed and there is an extended example showing how an application is developed.
The third part of the volume is concerend with programming style. Its principal aim is to show that despite the illogicalities available in Prolog, the programmer may construct programs that conform to the principles of logic programming by adhering to a number of design criteria. Efficiency of programs is also considered at length. An approach to debugging Polog programs is presented. Finally the process of designing Prolog programs is discussed and there is an extended example showing how an application is developed.
More details
Language
English
Place of publication
Oxford
United Kingdom
Target group
College/higher education
Professional and scholarly
Illustrations
line drawings, index
Dimensions
Height: 234 mm
Width: 156 mm
Weight
1066 gr
ISBN-13
978-0-19-853822-6 (9780198538226)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Logic programming; logic specifications; structured data; arithmetic and other built-in facilties; executing Prolog specifications; using Prolog search strategy; controlling logic programs; input and output; modifying the database; programming with modules; Prolog environments; some odds and ends; writing and documenting Prolog predicates; techniques for programming - data structures; techniques for programming - program structure; debugging and testing Prolog programs; developing Prolog applications; the text processor application.