https://github.com/kanavgoyal898/proplog
propLog implements common logical operations such as NOT, AND, OR, IMPLIES, IFF, and XOR. The project supports the evaluation of logical expressions based on a model and checks if a knowledge base entails a query.
https://github.com/kanavgoyal898/proplog
algorithms aritificial-intelligence mathematics propositional-logic python scratch-implementation
Last synced: 7 months ago
JSON representation
propLog implements common logical operations such as NOT, AND, OR, IMPLIES, IFF, and XOR. The project supports the evaluation of logical expressions based on a model and checks if a knowledge base entails a query.
- Host: GitHub
- URL: https://github.com/kanavgoyal898/proplog
- Owner: kanavgoyal898
- Created: 2025-01-31T04:35:45.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2025-02-04T05:46:36.000Z (about 1 year ago)
- Last Synced: 2025-03-15T06:39:20.064Z (about 1 year ago)
- Topics: algorithms, aritificial-intelligence, mathematics, propositional-logic, python, scratch-implementation
- Language: Python
- Homepage:
- Size: 352 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0