PresburgerArithmetic
This is a project repository for CS579 Computational Linguistics.
This contains following deliverables, implemented in Prolog.
- Presburger Arithmetic parser for natural language
- Quantifier Elimination and Decision Procedure for Presburger Arithmetic, in Prolog
- An interactive system that uses knowledge base and checks uninformativeness and validity