An implementation of inohilog