Prolog : a logical approach
Author(s)
Bibliographic Information
Prolog : a logical approach
（Oxford science publications）
Oxford University Press, 1990
- : pbk
Available at / 19 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 497-499) and index
Description and Table of Contents
- Volume
-
: pbk ISBN 9780198538219
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.
Table of Contents
- Logic programming
- Logic specifications
- Structured data
- Arithmetic and other built-in facilities
- Executing Prolog specifications
- Using the 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
- Volume
-
ISBN 9780198538226
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.
Table of Contents
- 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.
by "Nielsen BookData"