Lập Trình Lôgic Trong Prolog

Abstract

Prolog là ngôn ngữ lập trình logic( programming in logic) do GS A.Colmerauer đưa ra lần đầu tiên vào năm 1972 tại trường ĐH Maseille, Pháp. Nội dung cuốn sách gồm: Mở đầu về ngôn ngữ Prolog. Ngữ nghĩa của chương trình Prolog. Các phép toán và số học. Cấu trúc danh sách. Kỹ thuật lập trình Prolog.