Yody-logic Packages