Book contents
- Frontmatter
- Contents
- Introduction
- Dedication
- Part I Logic programming paradigm
- Part II Elements of Prolog
- 3 Arithmetic in Prolog
- 4 Control and meta-programming
- 5 Manipulating structures
- Part III Programming with passive constraints
- Part IV Programming with active constraints
- Solutions to selected exercises
- Bibliographic remarks
- Bibliography
- Index
3 - Arithmetic in Prolog
from Part II - Elements of Prolog
Published online by Cambridge University Press: 23 November 2009
- Frontmatter
- Contents
- Introduction
- Dedication
- Part I Logic programming paradigm
- Part II Elements of Prolog
- 3 Arithmetic in Prolog
- 4 Control and meta-programming
- 5 Manipulating structures
- Part III Programming with passive constraints
- Part IV Programming with active constraints
- Solutions to selected exercises
- Bibliographic remarks
- Bibliography
- Index
Summary
- Type
- Chapter
- Information
- Constraint Logic Programming using Eclipse , pp. 41 - 58Publisher: Cambridge University PressPrint publication year: 2006