Add new package "ediprolog".