SWI-Prolog

SWI-Prolog

Tác giả gốc	Jan Wielemaker
Nhà phát triển	Jan Wielemaker, Anjo Anjewierden, vân vân.
Phát hành lần đầu	1987
Phiên bản ổn định	6.2.6 / 11 tháng 1 năm 2013; 12 năm trước (2013-01-11)
Phiên bản thử nghiệm	6.3.16 / 9 tháng 6 năm 2013; 11 năm trước (2013-06-09)
Kho mã nguồn	github.com/SWI-Prolog/swipl-devel
Viết bằng	C, Prolog
Hệ điều hành	Đa nền tảng
Có hiệu lực trong	Tiếng Anh
Thể loại	Lập trình logic
Giấy phép	Giấy phép Công cộng GNU Hạn chế
Website	swi-prolog.org/

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.

Xem thêm

• Prolog

Tham khảo

1. Using SWI-Prolog’s Modules Lưu trữ ngày 23 tháng 2 năm 2014 tại Wayback Machine, Michael T. Richter.

Liên kết ngoài

• SWI-Prolog website
• SWI-Prolog for WinCE Lưu trữ ngày 6 tháng 7 năm 2009 tại Wayback Machine
• XPCE: the SWI-Prolog native GUI library