https://github.com/baines/tdop_prover
C Implementation of Example 1 from Pratt's 1973 TDOP Paper
https://github.com/baines/tdop_prover
c pratt-parser
Last synced: over 1 year ago
JSON representation
C Implementation of Example 1 from Pratt's 1973 TDOP Paper
- Host: GitHub
- URL: https://github.com/baines/tdop_prover
- Owner: baines
- Created: 2019-04-06T18:29:28.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2019-04-06T18:30:28.000Z (about 7 years ago)
- Last Synced: 2025-01-13T20:39:07.368Z (over 1 year ago)
- Topics: c, pratt-parser
- Language: C
- Size: 1.95 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
This is a C implementation of the minimal theorem prover described
as the first example in Vaughan R. Pratt's 1973 paper
'Top Down Operator Precedence'.
https://web.archive.org/web/20151223215421/http://hall.org.ua/halls/wizzard/pdf/Vaughan.Pratt.TDOP.pdf
It follows the terminology and techniques described in the paper.
`make && make test`
Programmer: Alex Baines
License : public domain || unlicense || CC0