IV. Chương V I: CHƯƠNG TRÌNH ỨNG DỤNG
5.Một số lệnh SWI-Prolog thông dụng
Sau đây là một số vị từ điều khiển thông dụng của SWI-Prolog
Consult(+File)
Nạp tệp chương trình vào bộ nhớ, chú ý sử dụng dấu phân cách thư mục là /. Ví dụ :
% nạp tệp like.pl từ thư mục làm việc vào bộ nhớ.
?-consult(likes)
% nạp tên likes.pl sử dụng đường dẫn đầy đủ - tuyệt đối
% sử dụng đường dẫn kiểu window
?-[‘c:\\progarm file\\pl\\demo\\likes’]
Pwd
Đưa ra thư mục làm việc của swi-prolog
Is
Liệt kê danh sách các tệp trong thư mục hiện hành
Edit
Nếu prolog được khởi động bởi một tệp .pl từ trong window explorer, thì chạy trình soạn thảo mặc nhiên, chẳng hạn window notepad, để soạn thảo tệp này.Có thể sử dụng lệnh đơn File/Edit
?-edit % mở notepad để soạn thảo
% waiting for editor % hiện thư mục hiện hành
Yes % Sau khi người dùng kết thúc soạn thảo
Make
Nạp tệp chương trình vào bộ nhớ sau khi đã thực hiện một số thay đổi
Trace
Chạy trình duyệt tìm và sửa lỗi debugger
Apropos (+keyword)
Tìm vị từ có chứa từ khóa keyword
Mở cửa sổ hướng dẫn về Spec, là tên một vị từ hoặc tên một hàm C
V. TÀI LIỆU THAM KHẢO
• Giáo trình cơ sở dữ liệu 2 của trường đại học Thái Nguyên
• Vincent F. Hendricks, Thought 2 Talk: A Crash Course in Reflection and Expression, New York: Automatic Press / VIP, 2005, ISBN 87-991013-7- 8
• Jennings, R. E., Continuing Logic, the course book of 'Axiomatic Logic' in Simon Fraser University, Vancouver, Canada
• Zarefsky, David, Argumentation: The Study of Effective Reasoning Parts I and II, The Teaching Company 2002
• Nuel Belnap, (1977). "A useful four-valued logic". In Dunn & Eppstein, Modern uses of multiple-valued logic. Reidel: Boston.
• Józef Maria Bocheński (1959). A précis of mathematical logic. Translated from the French and German editions by Otto Bird. D. Reidel, Dordrecht, South Holland. (adsbygoogle = window.adsbygoogle || []).push({});
• Józef Maria Bocheński, (1970). A history of formal logic. 2nd Edition. Translated and edited from the German edition by Ivo Thomas. Chelsea Publishing, New York.
• Sách cơ sở dữ liệu 2 của trường đại học Thái Nguyên
• Giáo trình cơ sở dữ liệu nâng cao của trường đại học Cần Thơ
• Tham khảo thêm một số bài báo khoa học về cơ sở dữ liệu của cô Phan Thị Tươi