Prolog : a logical approach
著者
書誌事項
Prolog : a logical approach
(Oxford science publications)
Oxford University Press, 1990
- : pbk
大学図書館所蔵 件 / 全19件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 497-499) and index
内容説明・目次
- 巻冊次
-
: pbk ISBN 9780198538219
内容説明
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.
目次
- 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
- 巻冊次
-
ISBN 9780198538226
内容説明
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.
目次
- 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.
「Nielsen BookData」 より