3.3 Unification of operators

Chapters in this book

1. Frontmatter 1
2. ABSTRACT 3
3. FOREWORD 4
4. CONTENTS 7
5. 1 Knowledge based approach to program construction
6. Introduction 8
7. 1.1. Denotations 13
8. 1.2. Example discourse area 16
9. 2. The problem space 18
10. 3. The program space
11. 3.1 Program schemes 25
12. 3.2 Matching and unification of operands 43
13. 3.3 Unification of operators 58
14. 3. 4 Constraints 63
15. 3.5 Knowledge base and program construction 67
16. 4. The inference machine
17. 4.1 The design space 73
18. 4.2 The strategy space 93
19. 5. Implementation 94
20. 6. Conclusion 96
21. References 97
22. List of Symbols 99
23. Appendix 1: Derivation example 103
24. Appendix 2: Example of program construction 117