Implementing a revised axiomatization based on http://softlang.uni-koblenz.de/megaaxioms/
Primary LanguageProlog