مشاريع الناقل في المنطق سلم