SWI-Prolog

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm
SWI-Prolog
Swipl.png
PceEmacs.gif
Thiết kế bởi Jan Wielemaker
Phát triển bởi Jan Wielemaker, Anjo Anjewierden, vân vân.
Phát hành lần đầu 1987
Bản ổn định 6.2.6 / 11 tháng 1, 2013; 3 năm trước
Bản xem thử 6.3.16 / 9 tháng 6, 2013; 2 năm trước
Tình trạng phát triển Đang hoạt động
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ế
Trang web 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[sửa | sửa mã nguồn]

Tham khảo[sửa | sửa mã nguồn]

  1. ^ Using SWI-Prolog’s Modules, Michael T. Richter.

Liên kết ngoài[sửa | sửa mã nguồn]