Logtalk

Prolog là một mục đích chung ngôn ngữ lập trình logic đã được phát hành vào năm 1972, với rất ít thông tin cập nhật từ.

Logtalk được tạo ra để thêm các tính năng hiện đại hơn để Prolog, chủ yếu là cải tiến hiệu suất, biểu thức lambda, các quy tắc ngữ pháp, cải thiện lỗi biên dịch và báo cáo cảnh báo.

Ngày đầu này, thêm một quá trình cài đặt dễ dàng hơn và Prolog cập nhật khả năng tương thích trình biên dịch.

Điều này làm cho Logtalk một tốt hơn, thay thế phù hợp hơn để Prolog trong ngày hiện đại AI và ngôn ngữ học máy tính kịch bản, một ngôn ngữ mô hình đa mạnh hơn rất nhiều, phù hợp cho đa luồng lập trình hướng sự kiện và trình độ cao.

Hiện tại Logtalk cú pháp mở rộng cú pháp Prolog tiêu chuẩn và bạn có thể chạy Logtalk bằng các trình biên dịch Prolog:

B-Prolog

CxProlog

Eclipse

GNU Prolog

nạc Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

xsb

YAP

Điều gì là mới trong phiên bản này:

• Cải thiện:
• Thay đổi các thẻ ngữ được sử dụng khi viết mã biên dịch để giúp giảm thiểu kích thước của các tập tin Prolog trung gian tạo ra trong đó sử dụng các thẻ để quyết định khi nào để trang trí về biên soạn với các dữ liệu vị trí nguồn (hiện nay, chỉ SWI-Prolog lợi dụng dữ liệu vị trí).
• FIXED:
• Một tập tin có thể có nhiều hơn một tệp gốc.

Điều gì là mới trong phiên bản 3.02.2:

• Cải thiện:
• Thay đổi các thẻ ngữ được sử dụng khi viết mã biên dịch để giúp giảm thiểu kích thước của các tập tin Prolog trung gian tạo ra trong đó sử dụng các thẻ để quyết định khi nào để trang trí về biên soạn với các dữ liệu vị trí nguồn (hiện nay, chỉ SWI-Prolog lợi dụng dữ liệu vị trí).
• FIXED:
• Một tập tin có thể có nhiều hơn một tệp gốc.

Điều gì là mới trong phiên bản 3.02.1:

• Cải thiện:
• Thay đổi các thẻ ngữ được sử dụng khi viết mã biên dịch để giúp giảm thiểu kích thước của các tập tin Prolog trung gian tạo ra trong đó sử dụng các thẻ để quyết định khi nào để trang trí về biên soạn với các dữ liệu vị trí nguồn (hiện nay, chỉ SWI-Prolog lợi dụng dữ liệu vị trí).
• FIXED:
• Một tập tin có thể có nhiều hơn một tệp gốc.

Điều gì là mới trong phiên bản 3.00.4:

• Cải thiện:
• Thay đổi các thẻ ngữ được sử dụng khi viết mã biên dịch để giúp giảm thiểu kích thước của các tập tin Prolog trung gian tạo ra trong đó sử dụng các thẻ để quyết định khi nào để trang trí về biên soạn với các dữ liệu vị trí nguồn (hiện nay, chỉ SWI-Prolog lợi dụng dữ liệu vị trí).
• FIXED:
• Một tập tin có thể có nhiều hơn một tệp gốc.

Điều gì là mới trong phiên bản 3.00.2:

• Cải thiện:
• Thay đổi các thẻ ngữ được sử dụng khi viết mã biên dịch để giúp giảm thiểu kích thước của các tập tin Prolog trung gian tạo ra trong đó sử dụng các thẻ để quyết định khi nào để trang trí về biên soạn với các dữ liệu vị trí nguồn (hiện nay, chỉ SWI-Prolog lợi dụng dữ liệu vị trí).
• FIXED:
• Một tập tin có thể có nhiều hơn một tệp gốc.

Điều gì là mới trong phiên bản 3.00.1:

• Cải thiện:
• Thay đổi các thẻ ngữ được sử dụng khi viết mã biên dịch để giúp giảm thiểu kích thước của các tập tin Prolog trung gian tạo ra trong đó sử dụng các thẻ để quyết định khi nào để trang trí về biên soạn với các dữ liệu vị trí nguồn (hiện nay, chỉ SWI-Prolog lợi dụng dữ liệu vị trí).
• FIXED:
• Một tập tin có thể có nhiều hơn một tệp gốc.

Điều gì là mới trong phiên bản 2.44.1:

• Sửa chữa một lỗi trong việc biên soạn các meta_non_terminal / 1 chỉ duy nhất mà các meta-số đầu tiên sẽ được xử lý một cách chính xác.
• Cập nhật các tập tin cấu hình Eclipse để phát hiện khi chạy trên các hệ thống Windows 64 bit và bỏ qua không vị và không điều hành xuất khẩu khi tiền xử lý lib / 1 chỉ.
• Cập nhật các khuôn khổ đơn vị kiểm tra để in các thông điệp thông tin nhiều hơn cho đơn vị xét nghiệm thất bại.
• Thêm vị chia / 4 (để tách một danh sách vào danh sách con với chiều dài nhất định) vào & quot; listp & quot ;, & quot; danh sách & quot ;, và & quot; difflist & quot; tổ chức thư viện.
• Cập nhật các & quot; cc & quot; Ví dụ với một định nghĩa cho các vỏ / 2 vị cho CxProlog.
• Thay đổi tên của các đối tượng trong & quot; mi & quot; ví dụ để tránh một cuộc xung đột tên khi chạy các bài kiểm tra ví dụ đơn vị.
• Sửa chữa một lỗi trong trình cài đặt Windows mà ngăn chặn phát hiện YAP 64 bit phiên bản. Nhờ Stepan Ipatov trong báo cáo lỗi.

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

• Phiên bản này thay đổi ngữ nghĩa của việc bổ sung hạng mục, cho phép việc sử dụng nó để vá mã đối tượng hiện có, sửa hai lỗi trong quá trình xử lý meta-cuộc gọi, cho phép danh sách mở của thiết bị đầu cuối trong cơ thể các quy tắc DCG, bổ sung thêm hai ví dụ mới, và cải thiện hỗ trợ cho các biên tập Vim văn bản và cho ctags cởi mở.

Điều gì là mới trong phiên bản 2.43.3:

• Sửa chữa một lỗi trong xử lý Logtalk biên dịch thời gian chạy nơi nó không thể dịch ngược định danh thực thể nội bộ khi ném ngoại lệ thực thể tồn tại.
• Cập nhật các tập tin cấu hình Prolog nạc, thêm chỉ số / 1 chỉ cho một số các vị từ động được sử dụng bởi các bảng thời gian chạy Logtalk nội bộ.
• Cập nhật các tập tin tích hợp SWI-Prolog để kiểm tra sự sẵn có của các chỉ số / 1, mà là bị phản đối bởi sự hỗ trợ SWI-Prolog nghiệm mới chỉ trong thời gian đa đối lập chỉ mục.
• Added vị từ dãy / 4 (để tạo ra subsequences của một danh sách với một chiều dài nhất định), thay thế / 4 (thay thế cho các phần tử trong một danh sách), và hamming_distance / 3 đến thư viện & quot; listp & quot; và & quot; danh sách & quot; các thực thể.
• Thêm euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, và scalar_product / 3 vị tới các thư viện & quot; numberlistp & quot; và & quot; numberlist & quot; các thực thể.
• Khắc phục một số lỗi ngớ ngẩn trong các định nghĩa của các & quot; nhân vật & quot; đối tượng thư viện vị từ is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, và is_hex_digit / 1.
• Cập nhật thư viện & quot; all_loader.lgt & quot; tập tin nạp để cũng tải & quot; meta_compiler_loader.lgt & quot; tập loader.

Điều gì là mới trong phiên bản 2.43.2:

• Tối ưu hóa quá trình xử lý tờ khai hành khi biên dịch tập tin nguồn và tự động tạo ra các thực thể mới.
• Cập nhật các trình biên dịch Logtalk sử dụng & quot; module & quot; biên dịch cờ khi thử nghiệm để hỗ trợ mô-đun Prolog, do đó tránh các vấn đề biên soạn với back-end Prolog trình biên dịch không hỗ trợ một hệ thống mô-đun nhưng vẫn xác định (:). / 2 như là một xây dựng trong cấu trúc điều khiển hoặc vị ngữ
• hỗ trợ Removed cho & quot; startup_message & quot; biên dịch cờ & quot; cờ (compact) & quot; và & quot; cờ (verbose) & quot; giá trị, thay thế bằng một giá trị duy nhất, & quot; cờ & quot ;, tương ứng với tuổi & quot; cờ (compact) & quot; giá trị.
• Sửa chữa một lỗi khi sử dụng op / 3 chỉ với create_protocol / 3, create_object / 4, và create_category / 4 vị xây dựng trong hợp tờ khai điều hành địa phương sẽ được hiển thị bên ngoài các thực thể mới.
• Sửa chữa một lỗi nơi tạo ra một thực thể năng động mới trong thời gian chạy sẽ xác định một vị năng động không còn sử dụng sổ sách kế toán có thể sẽ không được bãi bỏ khi các thực thể được bãi bỏ.
• Sửa chữa một lỗi biên dịch, nơi một & quot; siêu & quot; gọi từ bên trong một đối tượng mà chỉ khởi tạo chính nó và không chuyên đối tượng nào sẽ ném một ngoại lệ thay vì thất bại.
• Cập nhật các & quot; chuẩn & quot; ví dụ như để bảo vệ chống lại ngoại lệ số học khi tính toán tổng số các cuộc gọi mỗi giây cho mỗi bài kiểm tra. Giảm số lần lặp lại thử nghiệm benchmark khi chạy các bài kiểm tra đơn vị để tránh thời gian tính toán lâu dài với chậm back-end Prolog trình biên dịch.

Điều gì là mới trong phiên bản 2.43.1:

• Thay đổi trình biên dịch để đưa vào tài khoản sử dụng / 2 chỉ thị khi biên dịch các cuộc gọi đến các cơ sở dữ liệu các phương pháp xây dựng trong. Sự thay đổi này kéo dài ngữ nghĩa của việc sử dụng / 2 chỉ thị và cho phép chuyển đổi dễ dàng hơn từ các ứng dụng Prolog đồng bằng để Logtalk.
• Thử nghiệm hỗ trợ sử dụng một mẫu ngữ như là đối số cho coinductive / 1 chỉ. bản này cho phép các đặc điểm kỹ thuật trong đó lập luận có ý nghĩa cho sự thành công coinductive. Căn cứ vào chức năng tương tự được tìm thấy trên trên DRA meta-thông dịch viên Feliks Kluzniak của.
• Cải thiện hỗ trợ cho gỡ lỗi các vị từ coinductive khi sử dụng Logtalk được xây dựng trong trình gỡ lỗi.
• Removed coinduction hỗ trợ cho CxProlog. Phiên bản hiện tại của trình biên dịch này thiếu một phần mềm cắt được xây dựng trong vị ngữ hoặc kiểm soát xây dựng, mà bây giờ là yêu cầu của việc thực hiện coinduction nghiệm.
• Dỡ bỏ một hạn chế lâu dài ngăn trở người định nghĩa sử dụng các vị wrapper cho bagof / 3 và setof / 3 được xây dựng trong phương pháp bất cứ khi nào đối số mục tiêu có thể sử dụng ^ / 2 lượng hóa tồn tại.
• Thêm hỗ trợ cho các & quot; ^ & quot; meta-vị meta-đối chế độ specifier đề xuất bởi Jan Wielemaker và tìm thấy trên SWI-Prolog 5.11.25. chế độ specifier này rất hữu ích khi xác định hàm bao cho / 3 và setof / 3 phương pháp được xây dựng trong bagof bất cứ khi nào đối số mục tiêu có thể sử dụng ^ / 2 lượng hóa tồn tại.
• Nhập & quot; prolog_compiler & quot; và & quot; prolog_loader & quot; cờ biên dịch, trong đó cho phép đi qua tùy chọn để back-end biên dịch Prolog được xây dựng trong các vị từ đó biên dịch vào đĩa và tải một (biên dịch) Prolog cờ. Giá trị mặc định cho cả cờ là danh sách rỗng.
• Sửa chữa một lỗi khi biên dịch các cuộc gọi đến Prolog độc quyền xây dựng-trong meta-vị từ nơi trình biên dịch Logtalk có thể cố gắng để xử lý không meta-lập luận như mục tiêu. Lỗi này chỉ thể hiện bản thân với một số back-end Prolog trình biên dịch như Eclipse.
• Sửa chữa một lỗi trong quá trình xử lý chỉ thị biên soạn có điều kiện.
• Sửa chữa một lỗi đó ngăn cản đi qua bí danh / 3 chỉ thị về các cuộc gọi đến các create_object / 4, create_category / 4, và create_protocol 3 vị / xây dựng trong.
• Loại bỏ khỏi được xây dựng trong đối tượng & quot; logtalk & quot; các decompile_predicate_head / 4 và decompile_predicate_indicator / 4 phương pháp phản đối.
• hỗ trợ Removed cho dài phản Logtalk metapredicate / 1 chỉ.
• Sửa chữa một lỗi về hiệu suất khi bộ nhớ đệm các cuộc gọi đến các vị từ thể loại mà các mục cache có thể được cụ thể hơn cần thiết khi làm việc với các loại tham số.
• Cải thiện bộ nhớ đệm của & quot; siêu & quot; gọi từ bên trong nguyên mẫu. Trước đây, tất cả các mục cache sẽ được chuyên môn bởi giá trị của & quot; tự & quot; để đối phó đúng với các trường hợp đặc biệt, khi một đối tượng cả khởi tạo và chuyên các đối tượng khác.
• Cập nhật các trình biên dịch Logtalk để kích hoạt bất kỳ tờ khai hành tìm thấy trên các chỉ thị phạm vi vị trong việc lập các thực thể có chứa các chỉ thị.
• Cải thiện hiệu suất của các vị từ coinductive khi sử dụng back-end Prolog trình biên dịch như SICStus Prolog không cung cấp các cấu trúc kiểm soát mềm cắt nhưng cung cấp các phần mềm cắt được xây dựng trong meta-vị ngữ (nếu / 3).
• Sửa chữa một lỗi nơi một báo cáo giả mạo của trình biên dịch / tải các cảnh báo có thể được in khi một tập tin mã nguồn được biên dịch / nạp với các trình biên dịch cờ & quot; Báo cáo & quot; tắt.
• Thêm một & quot; streamvars & quot; đối tượng thư viện, xuất phát từ quot hiện &; assignvars & quot; loại thư viện, có tính năng hỗ trợ cho việc thêm và lấy về (có thể là biến) từ một & quot; dòng & quot; biến.
• Cập nhật các & quot; coinduction & quot; Ví dụ, lợi dụng các coinductive / 1 chỉ thị tăng cường và mở rộng số lượng các ví dụ cá nhân có thể được chạy bằng SICStus Prolog. Thêm một mô hình kiểm tra ví dụ, sử dụng coinduction, coroutining, và hạn chế.
• Cập nhật các & quot; metapredicates & quot; Ví dụ với mẫu mã minh họa làm thế nào để xác định hàm bao cho / 3 và setof / 3 phương pháp được xây dựng trong bagof khi meta-lập luận có thể chứa các biến existentially đủ điều kiện.
• Cập nhật các & quot; cc & quot; Ví dụ, điều chỉnh các định nghĩa vị cho nhiều back-end Prolog trình biên dịch và thêm một số xét nghiệm đơn vị cơ bản.
• Cập nhật các & quot; mã hóa & quot; Ví dụ với sự hỗ trợ hạn chế cho Lean Prolog.
• Thêm mục còn thiếu cho các meta_non_terminal / 1 chỉ thị và cho các cuộc gọi // N không bị đầu cuối để các & quot; giúp & quot; ví dụ.
• Thêm một phân tích cú pháp cho các tập tin PDDL 3.0, đóng góp bởi Robert Sasak.
• Cho code gấp hỗ trợ soạn thảo văn bản SubEthaEdit. Nhập mã gấp hỗ trợ cho các khối lập có điều kiện để các biên tập viên văn bản Kate, Vim, và TextMate.
• Cập nhật các kịch bản tích hợp để có thể tải các tập tin đường dẫn thư viện trước khi tải Logtalk trình biên dịch / thời gian chạy. Sự thay đổi này nhằm mục đích đơn giản hóa tải của thư viện và tập tin ví dụ từ các tập tin cài đặt. Ngoài ra, cũng tìm kiếm các thư mục cài đặt Logtalk trong $ HOME / cổ phiếu khi biến môi trường LOGTALKHOME không xác định.
• Cập nhật các cài đặt Windows để hỗ trợ nạc Prolog và phát hiện YAP 64 bit phiên bản.

Điều gì là mới trong phiên bản 2.43.0:.

• Thêm hỗ trợ thử nghiệm cho Lean Prolog
• Loại bỏ các hạn chế biên dịch Logtalk buộc kề / 1 và năng động / 1 chỉ thị trước các cuộc gọi đến các vị khai báo.
• Cải thiện các báo cáo trình biên dịch Logtalk các cuộc gọi misspelt để không bị đầu cuối trong các quy tắc ngữ pháp.
• Cho phép sử dụng với.: / 1 kiểm soát xây dựng trên cơ thể các quy tắc ngữ pháp
• Khi gỡ lỗi thông điệp định trong sử dụng / 2 chỉ thị, các thư được in ngầm có trình độ như trong mã nguồn được viết bởi người sử dụng.
• Thay đổi vị nội bộ được sử dụng trong việc thực hiện xây dựng trong các vị từ đa luồng để tạo thuận lợi cho việc tích hợp với các công cụ gỡ lỗi cấp cao đòi hỏi dịch ngược mã Prolog tạo ra.
• Sửa chữa một lỗi trong việc hỗ trợ thư viện cho các đơn vị xét nghiệm, & quot;. Lgtunit & quot ;, nơi thử nghiệm cho trường hợp ngoại lệ sẽ chấp nhận bất kỳ hạn ngoại lệ như phù hợp với thông số kỹ thuật đơn vị kiểm tra
• Cập nhật các & quot; cc & quot; Ví dụ với sửa lỗi và cải tiến cho Eclipse góp của Joachim Schimpf, với một sửa chữa lỗi cho việc thực hiện SWI-Prolog của expand_path / 2 vị ngữ (do những thay đổi gần đây để SWI-Prolog absolute_file_name / 3 được xây dựng trong vị ngữ), và với một định nghĩa cho các command_line_arguments / 1 vị cho B-Prolog.
• Cập nhật các & quot; coinduction & quot; Ví dụ, thêm một số ví dụ cá nhân nhiều hơn.
• Cập nhật các & quot; xml_parser & quot; đóng góp để workaround vấn đề di với GNU Prolog.
• Sửa một lỗi trong một số kịch bản shell nơi & quot; # / bin / bash & quot; đã được sử dụng thay vì & quot; #! / bin / bash & quot ;. Nhờ Yiorgos Adamopoulos trong báo cáo lỗi.
• Cập nhật các Inno Setup giao diện Windows cài đặt kịch bản để cho phép cài đặt đầy đủ của người sử dụng quản lý.
• Thêm màu cú pháp hỗ trợ cho các chỉ ISO Prolog gồm / 1 cho tất cả các biên tập viên văn bản hỗ trợ và tô màu cú pháp.
• Khắc phục một số lỗi trên tab gây nên cho các đoạn Gedit Logtalk ngăn sử dụng của họ.
• Thay đổi trở lại sử dụng Xếp thay vì FOP khi tạo các phiên bản PDF của người dùng và tham khảo hướng dẫn sử dụng như FOP cắt các nội dung của một số trang.

Điều gì là mới trong phiên bản 2.42.4:

• Thêm một entity_prefix / 2 vị và hai bộ vị từ tiện ích, decompile_predicate_heads / 2-4 và decompile_predicate_indicators / 2-4, để các & quot; logtalk & quot; xây dựng trong các đối tượng. Đánh dấu sự decompile_predicate_head / 4 và decompile_predicate_indicator / 4 như phản đối.
• Thêm hỗ trợ cho việc bảo vệ thông tin phạm vi cho các nhà khai thác khai báo sử dụng chỉ thị phạm vi trong thời gian biên dịch. Thêm thông tin về tổ chức tuyên bố khai thác các tài liệu XML file. Cập nhật các văn bản, PDF, và (X) kịch bản chuyển đổi HTML để in ra thông tin điều hành.
• Ứng dụng nhiều mức độ thấp tối ưu hóa cho các Logtalk trình biên dịch / thời gian chạy.
• Đã chuyển vị nội bộ xây dựng và truy cập vào các bối cảnh thực hiện ngữ từ trình biên dịch vào các tập tin cấu hình Prolog để hỗ trợ điều chỉnh hiệu năng tốt mà là Prolog biên dịch phụ thuộc.
• Cập nhật việc thực hiện của các luồng / 1 đa luồng được xây dựng trong vị ngữ để sử dụng tối ưu hóa hiệu suất nhỏ dựa trên term_variables / 2 được xây dựng tại vị được đề xuất bởi Timon Văn Overveldt. tối ưu hóa này nhằm mục đích làm giảm bản sao không cần thiết và thống nhất các điều khoản. Ngoài ra, thay thế việc sử dụng các setup_call_cleanup / 3 built-in vị với catch / 3 built-in vị bởi đơn giản hóa việc xử lý của cả chủ và nô lệ đề, mà còn cải thiện hiệu suất.
• Sửa chữa một lỗi trong việc thực hiện các luồng / 1 đa luồng được xây dựng trong ngữ mà thất bại bởi người sử dụng để xác định mục tiêu độc lập khi cố gắng sử dụng độc lập và song song sẽ cho kết quả trong đề zombie.
• điều khoản ngoại lệ gửi thông tin khi cố gắng để khai báo một thuộc tính đồng bộ là động hoặc một vị ngữ động như đồng bộ.
• Cập nhật các tập tin cấu hình xsb để hỗ trợ việc biên soạn các mô-đun như các đối tượng. Thêm một định nghĩa cho thiếu setup_call_catcher_cleanup / 4 được xây dựng trong vị ngữ. Xsb 3.3 (hoặc phiên bản sau này) bây giờ là cần thiết cho khả năng tương thích với Logtalk.
• Cập nhật các tập tin cấu hình SWI-Prolog để cung cấp hỗ trợ hạn chế cho arithmetic_function / 1 chỉ thị độc quyền (hàm số học được biên dịch như toàn cầu thay vì là địa phương để các đối tượng hay các loại định nghĩa chúng).
• Cập nhật các tập tin cấu hình YAP để bỏ qua style_check / 1 chỉ thị và giải thích các yap_flag / 2 chỉ thị như một set_prolog_flag / 2 Chỉ thị.
• Thay đổi bộ xử lý XSL-FO mặc định (được sử dụng để tạo ra các phiên bản PDF của người dùng và tham khảo hướng dẫn sử dụng) từ xếp đến FOP.
• Cập nhật các & quot; xml_parser & quot; đóng góp để workaround vấn đề di với Qu-Prolog, SICStus Prolog, và xsb.
• Cập nhật các & quot; mã hóa & quot; ví dụ như để đảm bảo rằng không có khoảng trắng trước khi mã hóa / 1 chỉ.
• Cập nhật các & quot; attvars & quot; Ví dụ để hỗ trợ B-Prolog và xsb. Cũng nói thêm hỗ trợ cho việc sử dụng các biến do trong các đối tượng tham số Logtalk và loại tham số. Nhờ Jan Wielemaker, VAtor Santos Costa, và Bart Demoen cho thông tin phản hồi và thực hiện đề nghị.
• Cập nhật các & quot; profilers & quot; Ví dụ với sự hỗ trợ ban đầu cho những thay đổi để thực hiện hồ sơ trong các phiên bản SICStus Prolog 4.2.
• Cập nhật các & quot; mở rộng & quot; ví dụ với nhiều mẫu mã trên như thế nào để kết hợp term- và định nghĩa mục tiêu mở rộng từ móc đối tượng khác nhau.
• Cập nhật các & quot; coinduction & quot; Ví dụ, thêm một thử nghiệm keysort / 2 coinductive vị. Nhờ Jan Burse cho đề nghị này.
• Cập nhật các & quot; tak & quot; đa luồng dụ như khi cắt mất tích sẽ cho kết quả nhanh chóng cạn kiệt stack địa phương khi sử dụng SWI-Prolog do việc tạo ra một số lượng rất lớn các điểm lựa chọn không cần thiết.
• Cập nhật các & quot; mtbatch & quot; đa luồng dụ để cung cấp điểm chuẩn mở rộng của & quot; tak & quot; ví dụ.
• Cập nhật các portfile MacPorts và kịch bản mà cập nhật nó để loại bỏ các tính toán checksum MD5, trong đó đang được loại bỏ bởi MacPorts.
• Cập nhật các Inno Setup giao diện Windows cài đặt kịch bản để workaround một lỗi trên các trình cài đặt SWI-Prolog Windows nơi các thủ tục gỡ bỏ cài đặt không xóa các phím SWI-Prolog trong Windows Registry.

Điều gì là mới trong phiên bản 2.42.3:

• Cho phép các vị từ động tuyên bố trong một thể loại được gọi là trong & quot; này & quot; từ bên trong các thể loại. Trong các phiên bản trước, các cuộc gọi như vậy sẽ dẫn đến một lỗi thời gian biên dịch, buộc những vị được gọi là trong & quot; tự & quot; (Sử dụng các thông :: / 1 gửi kiểm soát xây dựng).
• Added Logtalk trình biên dịch hỗ trợ cho lãnh khoản tiền biên dịch (sử dụng {} / 1 kiểm soát xây dựng). Tính năng này chủ yếu là hữu ích khi sử dụng cơ chế hạn mở rộng.
• Sửa chữa một lỗi về mã đơn giản hóa các điều khoản vị được tạo ra bởi việc biên soạn các quy tắc ngữ pháp. Mã này sẽ lặp khi một quy tắc ngữ pháp chứa một meta-biến, mà trình biên dịch Logtalk nên (nhưng hiện tại không) báo cáo như là bất hợp pháp (cuộc gọi / 1 kiểm soát xây dựng nên được sử dụng thay vì vào trường hợp này).
• Đơn giản hóa việc lập cuộc gọi trong bối cảnh của các đối tượng giả & quot; dùng & quot;.
• Thêm lệnh debugger & quot; p & quot; đến Logtalk được xây dựng trong trình gỡ lỗi. lệnh này in ra các mục tiêu hiện tại bằng cách sử dụng ngữ in / 1 khi có sẵn. Đổi tên các lệnh debugger & quot; q & quot; & quot; Q & quot ;. Sửa chữa một lỗi mà các lệnh debugger & quot; w & quot; sẽ không được công nhận. Thay đổi lệnh debugger & quot; d & quot; để trích dẫn các điều khoản khi cần thiết.
• Thêm một thực hiện một phần của tiêu chuẩn ISO Prolog predicate_property / 2 vị vào file cấu hình Eclipse.
• Cập nhật các tập tin cấu hình SWI-Prolog để loại bỏ các tuyên bố sai lầm của thư viện meta-vị dde_register_service / 2, thời gian / 1, và khi / 2 như được xây dựng trong meta-vị.
• Áp dụng một bản vá lỗi cho & quot; cờ & quot; đóng góp có sẵn bởi tác giả của nó, Theofrastos Mantadelis. Workaround một vấn đề tương thích với GNU Prolog.
• Thêm một memberchk / 2 vị tới các thư viện & quot; setp & quot; giao thức và & quot; thiết lập & quot; vật. Thêm vị is_control / 1, is_newline / 1, và is_end_of_line / 1 đến thư viện & quot; characterp & quot; và & quot; nhân vật & quot; các thực thể.
• Thêm một ví dụ thực nghiệm của việc sử dụng các biến trong các đối tượng do Logtalk và chuyên mục. Hiện nay đòi hỏi việc sử dụng YAP hoặc SWI-Prolog như back-end biên dịch Prolog.
• Thêm hỗ trợ cho indexicals cho & quot; chế / sicstus & quot; ví dụ.
• Mở rộng các & quot; đại biểu & quot; Ví dụ với một thực hiện mẫu của một người ủy nhiệm sử dụng một đối tượng tham số.
• Mở rộng các & quot; dynpred & quot; ví dụ để minh họa làm thế nào để xác định vị từ loại có thể xử lý các vị từ động trong bối cảnh của & quot; này & quot; và trong bối cảnh của & quot; tự & quot;.
• Thêm một vị wall_time / 1 vào & quot; cc & quot; ví dụ.
• Cập nhật các cú pháp làm nổi bật tập tin kiểm tra, thêm mất tích đúng / 0 và thất bại / 0 cấu trúc điều khiển.

Điều gì là mới trong phiên bản 2.42.2:

• Cập nhật các trình biên dịch Logtalk để cho phép kiểm tra đặc tính mô-đun vị mà không cần phải nhập khẩu các vị thành & quot; dùng & quot; (Lưu ý, tuy nhiên, các mô-đun vẫn phải được nạp trước khi biên soạn các tập tin nguồn gọi các vị từ module).
• Cập nhật các trình biên dịch Logtalk để kiểm tra thời gian biên dịch khởi tạo đối số đóng cửa vào các mục tiêu cuộc gọi / 2-N cho các lỗi lập trình phổ biến.
• Cập nhật các trình biên dịch Logtalk để tạo ra cảnh báo cho các biểu thức lambda với các biến không được khai báo bằng các biến miễn phí hoặc các tham số lambda hoặc với các biến được khai báo là cả hai biến miễn phí và các thông số lambda. Nhờ Jan Burse cho thấy những kiểm tra sự tỉnh táo.
• Cập nhật thời gian chạy Logtalk để hỗ trợ sử dụng các & # x3c; & # x3c; / 2 kiểm soát xây dựng trong đóng cửa meta-lập luận của meta-vị
.
• Thêm hỗ trợ cho biên dịch miễn phí / Mục tiêu cuộc biểu thức lambda (bằng cách tự động tạo ra một vị phụ trợ bất cứ khi nào có thể).
• Thêm một compile_aux_clauses / 1 phương pháp nào, dựa trên một vị từ có cùng tên trong SWI-Prolog, để xây dựng trong đối tượng & quot; logtalk & quot ;. Phương pháp này thường được gọi là từ goal_expansion / 2 móc để biên dịch các khoản phụ trợ tạo ra để hỗ trợ các mục tiêu mở rộng.
• Nhập siêu vị bỏ qua / 1, thực hiện bởi một số trình biên dịch Prolog như một vị xây dựng trong, như một Logtalk xây dựng trong phương pháp.
• Cập nhật các tập tin cấu hình SWI-Prolog để ngăn chặn việc tự động tải các thư viện module khi truy vấn thuộc tính vị từ Logtalk.
• Cập nhật các Qu-Prolog, SICStus Prolog, và các tập tin cấu hình xsb để làm cho có sẵn vị term_variables / 2 như là một xây dựng trong ngữ ISO.
• Cập nhật các kịch bản tích hợp Qu-Prolog để tăng gấp đôi giá trị kích thước heap để lập trình biên dịch Logtalk / thời gian chạy, giải quyết một vụ tai nạn khởi động.
• Phục hồi các hệ điều hành MacOS X lệnh tập tin cho GNU Prolog (di chuyển lên từ các & quot; scripts / / / macosx command_files không được hỗ trợ & quot; thư mục).
• Added vị từ findall_member / 4-5 đến đối tượng thư viện & quot; meta & quot; (Dựa trên dự thảo Prolog đề nghị thư viện Richard O'Keefe của). Bỏ tờ khai và định nghĩa của các vị từ có thể được gọi / 1 và bỏ qua / 1 từ các thực thể thư viện & quot; METAP & quot; và & quot; meta & quot; (Callable / 1 là một vị tích hợp trong tất cả các trình biên dịch Prolog được hỗ trợ; bỏ qua / 1 bây giờ là một Logtalk xây dựng trong phương pháp)
.
• Thêm một đối tượng thư viện, & quot; meta_compiler & quot ;, mà có thể được sử dụng như là một đối tượng móc để mở rộng cuộc gọi đến các meta-vị từ được định nghĩa trong đối tượng thư viện & quot; meta & quot; để tránh các chi phí chung meta-gọi. Trên những trường hợp cuộc gọi meta-vị không thể được tối ưu hóa, định nghĩa mặc định trên & quot; meta & quot; đối tượng được sử dụng. Sử dụng các cấu trúc điều khiển như meta-đối số không (chưa) hỗ trợ. Công việc được tiến hành.
• Thêm một giao thức, & quot; & quot ;, loggingp và chủng loại đối tượng thực thi, & quot; khai thác gỗ & quot; và & quot;. logger & quot ;, kê khai, xác định chức năng cơ bản để đăng nhập các sự kiện để các tập tin vào thư viện
• Thêm một giao thức, & quot; intervalp & quot ;, và một đối tượng, & quot; khoảng thời gian & quot ;, khai báo và xác định mối quan hệ khoảng thời gian cơ bản cho các thư viện (dựa trên công việc James F. Allen Interval Đại số)
.
• Thêm một loại thực hiện quầy tên là số nguyên, & quot;. Quầy & quot ;, đến thư viện
• vị thêm proper_prefix / 2 và proper_suffix / 2 cho các đối tượng thư viện & quot; listp & quot ;, & quot; danh sách & quot ;, và & quot; difflist & quot;.
• Thêm vị transpose / 2 cho các đối tượng thư viện & quot; cặp & quot;.
• Thêm hai giả ví dụ cho mục đích thử nghiệm, & quot; lambdas_compiled & quot; và & quot; metapredicates_compiled & quot ;, mà sử dụng các đối tượng thư viện mới
• & quot; meta_compiler & quot;.
• Cập nhật các & quot; mở rộng & quot; ví dụ để minh họa làm thế nào để xác định và kết hợp đối tượng móc.
• Thêm hỗ trợ cho việc sử dụng các gói SyntaxHighlighter (phiên bản 3.0.83 hoặc mới hơn) bởi Alex Gorbatchev với mã nguồn Logtalk.
• Thêm màu cú pháp còn thiếu của khác / 0 điều kiện biên soạn chỉ thị để hỗ trợ GNU Nguồn-điểm nhấn highlighter.
• Thêm một lưu ý về sự hỗ trợ chỉnh sửa văn bản Logtalk sẵn vào trình soạn thảo văn bản hệ điều hành MacOS X Kod miễn phí.
• Hỗ trợ màu cú pháp cho các mới bỏ qua / 1 được xây dựng trong phương pháp để tất cả soạn thảo văn bản hỗ trợ và tô màu cú pháp.

Điều gì là mới trong phiên bản 2.42.1:

• Thêm hỗ trợ cho các trình biên dịch Logtalk để phát hiện và báo cáo thiếu năng động / 1 và kề chỉ thị / 1 vị ngữ.
• Thêm một lá cờ lint mới, & quot; missing_directives & quot ;, với một giá trị mặc định của & quot; cảnh báo & quot ;, cho tất cả các tập tin cấu hình. Cờ này cho phép in các cảnh báo trình biên dịch cho thiếu năng động / 1, kề / 1, và multifile / 1 vị chỉ thị.
• Thêm hỗ trợ cho chỉ số chế độ meta-vị mẫu mới: (/) cho một chỉ báo vị, [/] cho một danh sách các chỉ số vị ngữ, và [0] cho một danh sách các mục tiêu
.
• Sửa chữa một lỗi trong trình biên dịch Logtalk khi kiểm tra đầu khoản meta-vị ngữ cho các lỗi mà các & quot; :: & quot; chỉ báo chế độ meta-lập luận vẫn đang được hiểu như & quot; 0 & quot;.
• Sửa chữa một lỗi trong việc xử lý đóng cửa (trong meta-cuộc gọi) được sử dụng để xây dựng các cuộc gọi để điều khiển cấu trúc hoặc vị xây dựng trong đó có thể dẫn đến một số gọi meta-lập luận trong bối cảnh sai. Nhờ Ulrich Neumerkel cho các ví dụ minh họa trong danh sách gửi thư SWI-Prolog.
• Cập nhật các trình biên dịch Logtalk để tránh những cảnh báo in về việc thiếu tài liệu tham khảo để các & quot; quot mở rộng &; và & quot; theo dõi & quot; được xây dựng trong giao thức khi biên dịch các module như các đối tượng.
• Hoàn nguyên thay đổi trong phiên bản 2.39.2 cho phép các đối tượng giả & quot; dùng & quot; hầu như chứa các định nghĩa của tất cả được xây dựng trong các vị từ Prolog. Điều này có thể dẫn đến kết quả khác nhau tùy thuộc vào back-end biên dịch Prolog, đặc biệt khi gọi meta-vị ngữ trong bối cảnh của & quot; dùng & quot;.
• Sửa chữa một lỗi trong SWI-Prolog & quot; swihooks.lgt & quot; tập tin đó dẫn đến một thông báo lỗi không có thật về một lá cờ Logtalk không hợp lệ khi tham khảo ý kiến ​​một tập Prolog khi có một tập tin nguồn Logtalk có cùng tên trong cùng một thư mục.
• Thêm hỗ trợ cho thiếu độc quyền xây dựng-trong meta-vị cho B-Prolog, SICStus Prolog, SWI-Prolog, xsb, và các tập tin YAP config.
• Cập nhật các SICStus Prolog, SWI-Prolog, và các tập tin YAP config để ghi đè lên các mẫu meta-vị cho ý kiến ​​/ 1 và load_files / 2 vị xây dựng trong.
• Thêm một thực hiện một map_reduce / 5 meta-ngữ để các đối tượng thư viện & quot; meta & quot;.
• Thêm một thực hiện một command_line_arguments / 1 vị ngữ để các & quot; cc & quot; ví dụ.
• Cập nhật các & quot; lambdas & quot; và & quot; metapredicates & quot; ví dụ, minh họa làm thế nào để tính toán số Fibonacci sử dụng một lần trái meta-vị ngữ. Cập nhật các & quot; metapredicates & quot; Ví dụ với một ví dụ sử dụng các map_reduce / 5 meta-vị.
• Cập nhật các & quot; problog & quot; Ví dụ, thêm hỗ trợ ban đầu cho các cú pháp disjunctions chú giải mới.
• Thêm một & quot; ma & quot; yếu tố để các Logtalk mime-loại tập tin cho các freedesktop.org chia sẻ cơ sở dữ liệu mime-thông tin.

Điều gì là mới trong phiên bản 2.42.0:.

• Thêm một thực hiện của lá cờ tượng dai dẳng
• Thêm một cặp mới của các vị từ được xây dựng trong, conforms_to_protocol / 2-3, thực hiện việc đóng cửa bắc của mối quan hệ thực hiện giao thức.
• Thêm một chỉ thị thực nghiệm, chú thích / 1, hỗ trợ Logtalk hội nhập với các ngôn ngữ khác như ProbLog và CHR.