Bài toán suy luận logic là một trong những bài toán phổ biến của các hệ thống thông minh như: khai phá dữ liệu, suy luận tri thức, dự đoán/dự báo, xây dựng/kiểm tra mạch logic cho các linh kiện điện tử, … Hiện nay, có một số phương pháp giải quyết bài toán này như: thuật toán suy diễn tiến, thuật toán suy diễn lùi, phương pháp Vương Hạo, phương pháp Robinson, phương pháp hợp giải. Trong bài báo này, chúng tôi tập trung vào phương pháp suy diễn lùi và đề xuất một kỹ thuật sử dụng bộ nhớ đệm toàn cục để kiểm tra tính đúng, sai của các sự kiện trước khi chứng minh nhằm tăng tính hiệu quả cho phương pháp suy diễn lùi đối với bài toán suy luận logic. Bên cạnh đó, chúng tôi cũng nghiên cứu và xem xét việc loại bỏ những luật cũng như sự kiện không cần thiết trong quá trình chứng minh để làm tăng tốc độ suy diễn. Từ đó, đề xuất thuật toán suy diễn lùi sử dụng bộ nhớ đệm toàn cục cho bài toán suy luận logic.