SWI-Prolog là dạng thực thi mã nguồn mở của ngôn ngữ lập trình Prolog, thường sử dụng cho việc giảng dạy và các ứng dụng Web ngữ nghĩa.[1] Nó chứa nhiều lợi ích, thư viện (tin học cho lập trình logic ràng buộc, tiến trình (tin học), kiểm thử đơn vị, GUI, giao diện cho Java, ODBC và những cái khác, lập trình văn chương, web server, SGML, RDF, RDF Schema, công cụ phát triển (bao gồm Môi trường phát triển tích hợp với Gỡ lỗi GUI, GUI hồ sơ (lập trình máy tính)) và các tài liệu mở rộng.

SWI-Prolog
Thiết kế bởiJan Wielemaker
Phát triển bởiJan Wielemaker, Anjo Anjewierden, vân vân.
Phát hành lần đầu1987
Phiên bản ổn định
6.2.6 / 11 tháng 1 năm 2013; 11 năm trước (2013-01-11)
Bản xem thử
6.3.16 / 9 tháng 6 năm 2013; 10 năm trước (2013-06-09)
Kho mã nguồn
Viết bằngC, Prolog
Hệ điều hànhĐa nền tảng
Ngôn ngữ có sẵnTiếng Anh
Thể loạiLập trình logic
Giấy phépGiấy phép Công cộng GNU Hạn chế
Websiteswi-prolog.org/
Trạng tháiĐang hoạt động

Xem thêm sửa

Tham khảo sửa

  1. ^ Using SWI-Prolog’s Modules Lưu trữ 2014-02-23 tại Wayback Machine, Michael T. Richter.

Liên kết ngoài sửa