wkurek/Maszyna-wnioskujaca

[PSZT] Backward reasoning in predicate logic.

Java