Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 3

Nguyên lý của prlog dựa trên phép suy diễn logic, liên quan đến những khái niệm toán học như phép hợp nhất herbran, hợp giả Robinson, logic vị từ bậc một