SWI-Prolog

Đó là mục đích lập trình logic hữu ích, trí tuệ nhân tạo và ngôn ngữ học tính toán

là gì mới trong phiên bản này:.

• loại dict mới và cú pháp cung cấp cho cả thời gian và không gian hiệu quả giá trị tên bản đồ với một cú pháp dễ chịu.
• Kết quả là, nó là cần thiết để thay thế các nhà xây dựng danh sách (H, T) do (cũng được sử dụng bởi mercury) '[|]'. (H, T). Điều đó có vẻ quyết liệt, nhưng trong thực tế chỉ ảnh hưởng đến một vài chương trình, đặc biệt là làm functor (Term, F, A) trên danh sách và sau đó chọn tiếp tục xử lý trên F == '.', A == 2. Để bật danh sách hơn vào một cấu trúc đặc biệt, [] vẫn là danh sách rỗng, nhưng không còn giống như '[]', tức là, [] không phải là nguyên tử.
• Cú pháp & quot; ... & quot; Bây giờ là ánh xạ tới các chuỗi. Dây là tương thích với Eclipse (nhờ Joachim Schimpf cho tất cả các cuộc thảo luận). Truyền thống mã danh sách được xây dựng bằng cách sử dụng .... Những lá cờ double_quotes và back_quotes kiểm soát hành vi này.
• Nhờ Torbjorn Lager, chúng tôi có & quot; & quot ;, Pengines cơ Prolog trên web. Điều này cung cấp một API chung để nói chuyện thoải mái với một máy chủ Prolog từ JavaScript và trường Prolog khác. Nó kích hoạt SWISH, SWI-Prolog trong trình duyệt của bạn (http://swish.swi-prolog.org) cũng như http://lpn.swi-prolog.org (Tìm hiểu Prolog Now! Với SWISH nhúng).
• Markus Triska thêm CLP (b), ràng buộc người giải quyết boolean, cải thiện CLP của mình (fd) và đã được trước một số cải tiến cho mục cấp đầu đối phó với khó khăn.
• Nhờ Matt Lilley và Mike Elston, có CQL, một DSL (Domain ngôn ngữ cụ thể) để đối phó với SQL. CQL được phát triển trong một môi trường mà cơ sở dữ liệu SQL phức tạp là các chỉ tiêu và do đó hỗ trợ một tập hợp con lớn của SQL và có thể đối phó với các bảng với hàng ngàn cột và các công cụ khác mà người dùng SQL ocasional sẽ không mong đợi.
• Matt Lilley được cải thiện đáng kể hỗ trợ kết nối mạng, bao gồm cả hỗ trợ tốt hơn cho SSL và hỗ trợ chung cho cả HTTP và SOCKS proxy server.
• Nhiều người đã cung cấp add-ons (gói) mà dựa vào SWI-Prolog phiên bản 7.

là gì mới trong phiên bản 7.2.1 / 7.3.3-dev:

• Các loại dict mới và cú pháp cung cấp cho cả thời gian và không gian hiệu quả giá trị tên bản đồ với một cú pháp dễ chịu.
• Kết quả là, nó là cần thiết để thay thế các nhà xây dựng danh sách (H, T) do (cũng được sử dụng bởi mercury) '[|]'. (H, T). Điều đó có vẻ quyết liệt, nhưng trong thực tế chỉ ảnh hưởng đến một vài chương trình, đặc biệt là làm functor (Term, F, A) trên danh sách và sau đó chọn tiếp tục xử lý trên F == '.', A == 2. Để bật danh sách hơn vào một cấu trúc đặc biệt, [] vẫn là danh sách rỗng, nhưng không còn giống như '[]', tức là, [] không phải là nguyên tử.
• Cú pháp & quot; ... & quot; Bây giờ là ánh xạ tới các chuỗi. Dây là tương thích với Eclipse (nhờ Joachim Schimpf cho tất cả các cuộc thảo luận). Truyền thống mã danh sách được xây dựng bằng cách sử dụng .... Những lá cờ double_quotes và back_quotes kiểm soát hành vi này.
• Nhờ Torbjorn Lager, chúng tôi có & quot; & quot ;, Pengines cơ Prolog trên web. Điều này cung cấp một API chung để nói chuyện thoải mái với một máy chủ Prolog từ JavaScript và trường Prolog khác. Nó kích hoạt SWISH, SWI-Prolog trong trình duyệt của bạn (http://swish.swi-prolog.org) cũng như http://lpn.swi-prolog.org (Tìm hiểu Prolog Now! Với SWISH nhúng).
• Markus Triska thêm CLP (b), ràng buộc người giải quyết boolean, cải thiện CLP của mình (fd) và đã được trước một số cải tiến cho mục cấp đầu đối phó với khó khăn.
• Nhờ Matt Lilley và Mike Elston, có CQL, một DSL (Domain ngôn ngữ cụ thể) để đối phó với SQL. CQL được phát triển trong một môi trường mà cơ sở dữ liệu SQL phức tạp là các chỉ tiêu và do đó hỗ trợ một tập hợp con lớn của SQL và có thể đối phó với các bảng với hàng ngàn cột và các công cụ khác mà người dùng SQL ocasional sẽ không mong đợi.
• Matt Lilley được cải thiện đáng kể hỗ trợ kết nối mạng, bao gồm cả hỗ trợ tốt hơn cho SSL và hỗ trợ chung cho cả HTTP và SOCKS proxy server.
• Nhiều người đã cung cấp add-ons (gói) mà dựa vào SWI-Prolog phiên bản 7.

là gì mới trong phiên bản 7.2.0 / 7.3.1-dev:

• Các loại dict mới và cú pháp cung cấp cho cả thời gian và không gian hiệu quả giá trị tên bản đồ với một cú pháp dễ chịu.
• Kết quả là, nó là cần thiết để thay thế các nhà xây dựng danh sách (H, T) do (cũng được sử dụng bởi mercury) '[|]'. (H, T). Điều đó có vẻ quyết liệt, nhưng trong thực tế chỉ ảnh hưởng đến một vài chương trình, đặc biệt là làm functor (Term, F, A) trên danh sách và sau đó chọn tiếp tục xử lý trên F == '.', A == 2. Để bật danh sách hơn vào một cấu trúc đặc biệt, [] vẫn là danh sách rỗng, nhưng không còn giống như '[]', tức là, [] không phải là nguyên tử.
• Cú pháp & quot; ... & quot; Bây giờ là ánh xạ tới các chuỗi. Dây là tương thích với Eclipse (nhờ Joachim Schimpf cho tất cả các cuộc thảo luận). Truyền thống mã danh sách được xây dựng bằng cách sử dụng .... Những lá cờ double_quotes và back_quotes kiểm soát hành vi này.
• Nhờ Torbjorn Lager, chúng tôi có & quot; & quot ;, Pengines cơ Prolog trên web. Điều này cung cấp một API chung để nói chuyện thoải mái với một máy chủ Prolog từ JavaScript và trường Prolog khác. Nó kích hoạt SWISH, SWI-Prolog trong trình duyệt của bạn (http://swish.swi-prolog.org) cũng như http://lpn.swi-prolog.org (Tìm hiểu Prolog Now! Với SWISH nhúng).
• Markus Triska thêm CLP (b), ràng buộc người giải quyết boolean, cải thiện CLP của mình (fd) và đã được trước một số cải tiến cho mục cấp đầu đối phó với khó khăn.
• Nhờ Matt Lilley và Mike Elston, có CQL, một DSL (Domain ngôn ngữ cụ thể) để đối phó với SQL. CQL được phát triển trong một môi trường mà cơ sở dữ liệu SQL phức tạp là các chỉ tiêu và do đó hỗ trợ một tập hợp con lớn của SQL và có thể đối phó với các bảng với hàng ngàn cột và các công cụ khác mà người dùng SQL ocasional sẽ không mong đợi.
• Matt Lilley được cải thiện đáng kể hỗ trợ kết nối mạng, bao gồm cả hỗ trợ tốt hơn cho SSL và hỗ trợ chung cho cả HTTP và SOCKS proxy server.
• Nhiều người đã cung cấp add-ons (gói) mà dựa vào SWI-Prolog phiên bản 7.

là gì mới trong phiên bản 6.6.6 / 7.1.37:

• Chế biến # !, ràng buộc một tập tin vào một thông dịch viên trong Unix không còn cố gắng để được thông minh về các lựa chọn xử lý các thông dịch viên. Ảnh hưởng của sự thay đổi này phụ thuộc vào các phiên bản Unix:. Một số chỉ vượt qua các tùy chọn đầu tiên, những người khác tất cả các gói tùy chọn vào một nhưng những người khác vượt qua các tùy chọn sau khi phá vỡ chúng
• Các Prolog cờ argv chỉ cung cấp luận cứ chưa được xử lý bởi Prolog.
• Các tập tin init .plrc (pl.ini trên Windows) không còn được tìm trong thư mục làm việc vì lý do an ninh.

là gì mới trong phiên bản 6.6.6 / 7.1.31:

• Chế biến # !, ràng buộc một tập tin vào một thông dịch viên trong Unix không còn cố gắng để được thông minh về các lựa chọn xử lý các thông dịch viên. Ảnh hưởng của sự thay đổi này phụ thuộc vào các phiên bản Unix:. Một số chỉ vượt qua các tùy chọn đầu tiên, những người khác tất cả các gói tùy chọn vào một nhưng những người khác vượt qua các tùy chọn sau khi phá vỡ chúng
• Các Prolog cờ argv chỉ cung cấp luận cứ chưa được xử lý bởi Prolog.
• Các tập tin init .plrc (pl.ini trên Windows) không còn được tìm trong thư mục làm việc vì lý do an ninh.

được gì mới trong phiên bản 6.4.0:

• Cập nhật thư viện RDF lên phiên bản 3. Bất cứ ai chăm sóc về RDF có lẽ đã sử dụng các phiên bản phát triển vì lý do này. Thêm vào bộ phân tích nhanh cho ntriples, Rùa và TRIG định dạng.
• Giới thiệu báo giá bán để đưa mịn và an toàn của đoạn ngôn ngữ bên ngoài
• Nâng cấp PlDoc để chấp nhận các cấu trúc markdown chung.
• Nhiều cải tiến các công cụ phát triển, thư viện HTTP, gói clib. vv Hỗ trợ tốt hơn cho các quy trình daemon Unix (syslog, UID / GID quản lý, vv.)
• Một khởi đầu để xử lý locale (hỗ trợ các định dạng / 3, đặc biệt là văn bản locale số nguyên lớn cụ thể.
• Rất nhiều ổn định các công cụ:. treo cố định, các bản vá lỗi tính di động, xây dựng hệ thống phụ kiện, vv

là gì mới trong phiên bản 6.2.0:

• phiên bản ban đầu của `gói 'quản lý gói
• xử lý tập tin nguồn tốt hơn, đặc biệt là wrt. : - Bao gồm (File)
.
• Nhiều bản sửa lỗi cho các trình gỡ lỗi, cải thiện xử lý nguồn và logic cho rằng quyết định trên các cổng được ẩn.
• phiên bản Windows bây giờ xây dựng bằng cách sử dụng các dự án biên dịch MinGW, kết quả là 10-20% tăng tốc. Cải tiến để swipl-win.exe console:. Copy / paste và hỗ trợ màu

là gì mới trong phiên bản 6.0.0:

• Dynamic just-in-time chỉ mục trên nhiều đối số .
• trừu tượng nhiều các API phát triển, hỗ trợ IDE PDT.
• Rất nhiều dọn dẹp, sửa lỗi, vv.

là gì mới trong phiên bản 5.11.20:.

• Giảm trail-stack sử dụng
• Cung cấp các bộ sưu tập rác thế hệ.

là gì mới trong phiên bản 5.11.10:

• Giảm trail-stack sử dụng. (một phần)
• Cung cấp các bộ sưu tập rác thế hệ.

là gì mới trong phiên bản 5.11.9:

• Giảm trail-stack sử dụng. (một phần)
• Cung cấp các bộ sưu tập rác thế hệ.

là gì mới trong phiên bản 5.10.0:

• Tất cả các nền tảng hiện nay sử dụng đặt tên nhất quán. SWI-Prolog thực thi được gọi là swipl, mối liên kết swipl-ld và người quản lý resouce-file swipl-rc.
• chồng mới quản lý bộ nhớ đó là dựa trên stack-chuyển hơn là phân bổ các ngăn xếp thưa thớt trong các địa chỉ không gian ảo. Sự thay đổi này cho phép khả năng mở rộng tốt hơn nhiều trong số các đề tài, vì vậy chúng tôi cũng loại bỏ các giới hạn thread-count cũ của 100. Các stack hạn bây giờ có thể được nâng lên và giảm thời gian chạy bằng cách sử dụng set_prolog_stack / 2.
• Các mặc định stack-size-giới hạn doanh nghiệp được 128MB cho mỗi stack trên 32-bit và 256Mb trên phần cứng 64-bit.
• rò rỉ rộng và căng thẳng thử nghiệm đã cố định một số rò rỉ và điều kiện chủng tộc, làm cho hệ thống nhiều mạnh mẽ hơn trong thiết lập máy chủ 24x7.
• Một khởi đầu đã được thực hiện để tránh việc sử dụng C-stack cho recursing thành ngữ. Điều này cho phép xử lý sâu xa hơn về lồng nhau và cung cấp một ngoại lệ sạch nếu không có đủ nguồn lực để đi qua thuật ngữ. Hiện vẫn còn nhiều việc phải làm trong lĩnh vực này.
• SWI-Prolog 5.10.0 giới thiệu tài liệu tham khảo về cơ sở dữ liệu an toàn để (assertz / 2, Recordz / 3) và dòng (mở / 3).
• Số lượng các biến trong các mệnh đề bây giờ là giới hạn 1000000000; này là 65535. Ngoài ra, hệ thống cung cấp ngoại lệ duyên dáng khi gặp phải tài nguyên-lỗi hoặc cố gắng để khẳng định điều khoản bất hợp pháp như các điều khoản cyclic.
• Compatibility để cả YAP và SICStus được nâng cao.

là gì mới trong phiên bản 5.8.2:

• Cleanup: Thực hiện và tài liệu hướng dẫn của giao diện tín hiệu.
• FIXED:. Sử dụng --nopce / - PCE cho (dis) cho phép đồ họa
• FIXED: GC-lỗi; bỏ tước uwrite-bit từ lập luận chồng
• SỬA ĐỔI: Loại bỏ các lá cờ abort_with_exception prolog; nó không còn được sử dụng.
• FIXED: Tránh bế tắc trong khi cố gắng để thoát ra sau một lỗi nghiêm trọng
.
• SỬA ĐỔI: is_set / 1 giờ sử dụng loại / 2. Kết quả là, các biến không chia sẻ được coi là yếu tố khác nhau; thứ tự là N * log (N) và các vị có thể trở lại một nguồn tài nguyên-lỗi.
• CỐ ĐỊNH: Sau: -.. module (x), thực hiện mục tiêu mở rộng tương đối đến module x
• Cleanup: Item # 547:. Đúng trích dẫn vị từ không xác định và lựa chọn thay thế
• DOC: Làm rõ current_arithmetic_function / 1
.
• DOC: Cung cấp khả snippit cho C-chức năng
• FIXED: đơn giản hóa quản trị Previous hỏng biến của trình biên dịch. Cũng nói thêm thử nghiệm hợp cụ thể.
• FIXED: Bug # 436: thống nhất một biến với chính nó tạo ra một vòng tham khảo
.

được gì mới trong phiên bản 5.7.14:

• CỐ ĐỊNH: cross-người tham khảo để phân biệt: từ 0 trong tờ khai meta-vị ngữ
• Cleanup: Sử dụng meta_predicate cho predsort / 3
• SỬA ĐỔI: thực hiện / 0 bây giờ chỉ quét tài liệu tham khảo để xác định vị ngữ trong các mô-đun có chứa chúng. Các list_undefined / 0 vẫn tìm kiếm trên toàn cầu.
• NÂNG CAO: CLP (FD):. Arc-phù global_cardinality / 2 nếu một cặp ban đầu là đất
• CỐ ĐỊNH: Xử lý (multifile) predicates mà một số điều khoản có cơ thể của họ trong một module khác và một số trong cùng. Matt Lilley.
• TĂNG:% [& # x3c; n & # x3e;] f định dạng để format_time / 3 để đối phó với phần giây. Được sử dụng bởi phần mở rộng debug mới.
• TĂNG: debug_message_context (+ | -Context) để xác định bối cảnh cho các tin nhắn debug (chẳng hạn như một nhãn thời gian)
.
• CỐ: Hãy apply_macros làm mở rộng mục tiêu của mình trong bối cảnh hệ thống những module
• NÂNG CAO: CLP (FD): global_cardinality Faster / 2 nếu cặp Key-Num là mặt đất
.
• FIXED: xử lý các hành-ưu tiên trong in câu trả lời. Markus Triska.
• NÂNG CAO: Sử dụng tùy chọn in mục cấp đầu cho mục tiêu còn lại, thực hiện dọn dẹp
• NÂNG CAO: Hãy term_variables và term_attvars hiệu quả nếu một danh sách được đưa ra (đặc biệt là term_attvars (Term, []))
.
• NÂNG CAO: Hãy sử dụng cơ sở dữ liệu ghi lại mã mới hạn walker
• NÂNG CAO: thiết lập đầu tiên của một bộ xương để vượt qua các điều khoản sử dụng vòng lặp đơn giản hơn là một thủ tục đệ quy. Bây giờ sử dụng cho term_variables / 2 và các vị từ có liên quan. Giản đồ xuất hiện đầy đủ, nhưng stack Mã phân đoạn phải được tối ưu hóa đáng kể. Như là, term_variables / 2 là hơi chậm (5%), nhưng nó có thể xử lý các điều lồng nhau sâu sắc với ít bộ nhớ và không có lỗi tràn stack.
• TĂNG: term_attvars / 2 để hỗ trợ tốt hơn về copy_term / 3. Sau khi thảo luận với Markus Triska.
• TĂNG: del_attrs / 1 để xóa * tất cả * các thuộc tính. Đơn giản hóa copy_term / 3.

là gì mới trong phiên bản 5.7.12:

• Hiệu suất cải thiện các chương trình lớn hơn là giữa 10 và 40 %, tùy thuộc vào phong cách lập trình. Đáng chú ý là những người giải quyết hạn chế lợi nhuận đáng kể. Chương trình nhỏ đôi khi cho thấy sự tăng tốc lớn hơn nhiều.
• Từ 5.7.4, hệ thống mô-đun cập nhật
• Rất nhiều dọn dẹp trong đặt tên và mô-đun của cơ sở mã.