Đáp án:

Giải thích các bước giải:

cơ chế  liên hệ ngược (hoặc cơ chế đảo ngược) là một cơ chế trong lập trình logic, nơi mà chúng ta xác định một mối quan hệ giữa các biến và sau đó sử dụng cơ chế suy luận để tìm giá trị của các biến dựa trên mối quan hệ đó

Trong cơ chế liên hệ ngược, chúng ta xác định các quy tắc hoặc ràng buộc giữa các biến, sau đó sử dụng các quy tắc này để suy luận giá trị của các biến. Thay vì đi từ dữ liệu đầu vào để tìm ra kết quả, chúng ta đi ngược lại, từ kết quả mong muốn để tìm ra dữ liệu đầu vào. Cơ chế liên hệ ngược thường được sử dụng trong lập trình logic, hệ thống chuyên gia, và các ứng dụng khác nơi mà việc suy luận logic và giải quyết vấn đề dựa trên các quy tắc ràng buộc là quan trọng. Điển hình là ngôn ngữ lập trình Prolog, nơi cơ chế liên hệ ngược được sử dụng để giải quyết các vấn đề logic.