GitHub repository: wkurek/Maszyna-wnioskujaca
Primary language: Java
Description: [PSZT] Backward reasoning in predicate logic.