Lập Trình Lôgic Trong Prolog
Loading...
Files
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Đại Học Quốc Gia Hà Nội
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.