Menyelesaikan masalah yang melibatkan penaakulan logik.