utilizează programarea logică