Logic Programming: Systematic Program Development

Front Cover
Addison-Wesley, 1990 - Computers - 338 pages
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Contents
1
Correctness criteria of a logic program are described in Chapter
8
Specification
25
An explanation is given of what the user can expect from the execution
43
Logic Descriptions
57
Correctness of a logic description
73
Construction of a logic description
93
Yves Deville
165
Logic Programs
185
Correctness of a logic program
207
Derivation of a logic program
225
Transformation of logic programs
273
Conclusion
303
Appendix
309
Bibliography
315
Index
331

Transformation of logic descriptions
169
Copyright

References to this book

All Book Search results »

Bibliographic information