Exporting forward conclusions for Horn clauses (definitive Clauses) using first order logic
Primary LanguageJava