Logic Resources Plt