Logic tính toán được các nhà logic học đưa ra vào những năm 1950, dựa trên các kỹthuật tự động hóa quá trình suy diễn logic. Logic tính toán được phát triển thành lập trình logic vào những năm 1970. Từ đó hình thành một khái niệm quan trọng là lập trình khai báo (declarative programming) đối lập với lập trình cấu trúc (procedural programming). Vềý tưởng, các lập trình viên chỉcần đưa ra khai báo của chương trình còn việc thực hiện cụthểdo máy tính tựxác lập, trong khi đó việc thực hiện các chương trình hướng thủtục lại được xác lập cụthểbởi lập trình viên. Ngôn ngữProlog là một công cụthực hiện rõ ý tưởng này. Chương trình dịch Prolog đầu tiên ra đời đã chứng tỏ đó là một ngôn ngữthực hành và được phổbiến trên toàn thếgiới. Sựphát triển của lập trình logic chính thức bắt đầu vào cuối những năm 1970. Những phát triển xa hơn đạt được vào đầu thập kỷ80, bắt đầu với sự xuất hiện của quyển sách đầu tiên nói vềcác cơsởlập trình logic. Việc lựa chọn lập trình logic làm mô hình cơsởcho dựán Các hệthống máy tính đời thứ5 của Nhật (Japanese Fifth Generation Computer Systems Project) đã mở đầu cho sựphát triển của các ngôn ngữlập trình logic khác. Nhờkhảnăng khai báo tựnhiên của lập trình logic, Prolog nhanh chóng trởthành một ứng cửviên cho việc biểu diễn tri thức. Tính đầy đủcủa nó trởnên rõ ràng hơn khi mối liên hệgiữa các chương trình logic với cơsở dữliệu suy diễn được đưa ra vào giữa thập kỷ80. Việc sửdụng lập trình logic và cơsởdữliệu suy diễn đểbiểu diễn tri thức được gọi là “cách tiếp cận logic cho việc biểu diễn tri thức”. Cách tiếp cận này dựa trên ý tưởng là chương trình máy tính được cung cấp các đặc thù 4 logic của tri thức trong đó, do đó nó độc lập với bất kỳcách thực hiện riêng biệt nào, với ngữcảnh tựdo, dễdàng thao tác và suy diễn. Chính vì vậy, cú pháp của ngôn ngữlập trình phải kết hợp được bất kỳ chương trình nào với đặc thù khai báo của nó. Khi đó, việc thực hiện các phương pháp tính toán sẽthông qua so sánh các thuộc tính cụthểvới cú pháp khai báo. Việc đưa ra một cú pháp thích hợp cho các chương trình logic được coi nhưmột trong những lĩnh vực nghiên cứu quan trọng nhất và khó nhất trong lập trình logic. Luận văn này sẽtrình bày các kết quảnghiên cứu vềcú pháp và ngữnghĩa của chương trình logic, bao gồm các lập trình logic thông thường và lập trình logic mởrộng, tiếp đó sẽ đềcập môi trường lập trình logic DLV (Datalog with Vel) và cách thức kết hợp môi trường logic này trong mã nguồn hướng đối tượng Java, cuối cùng trình bày hai bài toán minh họa (bài toán N quân hậu và bài toán Cây khung nhỏnhất) được cài đặt trên DLV và được chạy trong mã nguồn hướng đối tượng Java.