O'Reilly logo

Handbook of Practical Logic and Automated Reasoning by John Harrison

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Appendix 3Parsing and printing of formulas

 

 

Although parsing and printing support is vital to making the programs in this book usable for experimentation, we have deferred a detailed discussion of how parsing and printing are done to the present appendix. This is partly because the material is fairly unexciting and rather peripheral to the main concerns of the book, and partly because, while first used in the propositional logic chapter, it actually covers full first-order logic and so doesn’t clearly fit at any point in the otherwise systematic sequence.

General parsing functions

We often need to parse infix operators of various kinds, e.g. the logical connectives like ==> and the arithmetic operators like +. For most of these we adopt a ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required