Trong các thập kỷ đã qua, việc nghiên cứu lập trình logic đã đạt được nhiều thành tựu quan trọng cả về lý thuyết và ứng dụng. Lập trình logic được áp dụng rộng rãi để biểu diễn tri thức và xử lý thông tin trong nhiều lĩnh vực. Hiện nay, các chương trình logic với ngữ nghĩa tập trả lời đã được đưa ra như một mô hình mới cho việc áp dụng các kỹ thuật lập trình khai báo để biểu diễn tri thức. Trong bài báo này, chúng tôi trình bày ứng dụng của lập trình tập trả lời để biểu diễn và thực thi một số các bài toán của lý thuyết đồ thị.