Jochen Hiller Jochen is doing development using object-oriented technologies since the beginning of the 90ties. He develops mainly in C++, Smalltalk and Java. He is very keen on distributed object technologies like CORBA, EJB, etc. He worked together with Jens in some OO projects in Germany.
Alex Kozlenkov from the Department of Computing of the City University London did most of the work to implement cut (ResolutionInferenceEngine4). Together with Michael Schroeder, Alex is managing the Prova project.
Chen Jianbo from China Telecom Guangzhou R & D Center discovered and fixed several bugs in the inference engine and in the SQL integration package.
Hans-Henning Wiesner from Bauer & Partner discovered and fixed two bugs in the inference engine.
Wang Liangbin from Donghua University in Shanghai/China discovered and fixed bugs in the sql package (releasing connections in SQLFunctions).
Robert Searle from Platinum Architecture Group has written a mandarax tutorial.
Bastian Schenke from the BTU Cottbus contributed the R2ML interface for Take.