HOLOSoft - Hall Of Logic Oriented Software