prologulogi

not defined yet