Logic Information System implementation for the ODIS project.