Koncepcja i realizacja systemu wnioskującego Gentzena z wykorzystaniem RDBMS – IBM DB2