Logtalk

Phần mềm chụp màn hình:
Logtalk
Các chi tiết về phần mềm:
Phiên bản: 3.38 Cập nhật
Ngày tải lên: 4 May 20
Nhà phát triển: Logtalk
Giấy phép: Miễn phí
Phổ biến: 25
Kích thước: 20008 Kb

Rating: 4.0/5 (Total Votes: 4)


        Logtalk là một ngôn ngữ lập trình logic hướng đối tượng có thể sử dụng hầu hết các triển khai Prolog như một trình biên dịch back-end. Là một ngôn ngữ đa mô hình, Logtalk bao gồm hỗ trợ cho cả nguyên mẫu và lớp, giao thức (giao diện), lập trình dựa trên thành phần thông qua thành phần dựa trên danh mục, lập trình hướng sự kiện và lập trình đa luồng cao cấp.
    

Có gì mới trong bản phát hành này:

* CẢI TIẾN: Tránh cảnh báo chỉ thị thiếu `meta_predicate / 1` khi cuộc gọi meta thực sự không chia sẻ biến với đầu khoản.


* CẢI TIẾN: Cho phép sử dụng các biểu thức lambda trong các quy tắc ngữ pháp mà không yêu cầu trình bao bọc `call // 1`.


* CỐ ĐỊNH: Lỗi tối ưu hóa trong việc biên soạn một đối số meta đóng khi mục tiêu kết quả là một lời gọi đến một vị từ được xây dựng sẵn Prolog do nội tuyến của định nghĩa vị ngữ người dùng.


* CỐ ĐỊNH: Lỗi tối ưu hóa trong việc biên soạn một đối số meta đóng khi mục tiêu kết quả là một cuộc gọi đến cấu trúc điều khiển Prolog `: / 2`.

Tính năng mới trong phiên bản 3.19:

* THÊM: Hỗ trợ xác định các biến vị ngữ được xây dựng sẵn bổ sung của Prolog cho lint
kiểm tra các mục tiêu luôn đúng hoặc sai đối với các tệp bộ điều hợp bằng cách sử dụng
hook predicate `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`.


* THÊM: Thuộc tính đối tượng `mô-đun` cho các đối tượng kết quả từ quá trình biên dịch
các mô-đun Prolog.


* THÊM: Lỗi tiện lợi ném các phương thức tích hợp `syntax_error / 1` và
`system_error / 0`. Các phương thức này đưa ra các thuật ngữ ngoại lệ `error / 2`
và tương đương với một chuỗi các lệnh gọi `context / 1` và` throw / 1`.


* REMOVED: Hỗ trợ cho việc sử dụng Logtalk 2.x `calls / 1`,` uses / 1`, và
`alias / 3` chỉ thị.


* REMOVED: Hỗ trợ cho cấu trúc kiểm soát Logtalk 2.x `: / 1` không được hỗ trợ.


* REMOVED: Hỗ trợ cho việc không sử dụng Logtalk 2.x `unknown`,` singletons`,
Cờ biên dịch `tmpdir` và` phiên bản`.

Có gì mới trong phiên bản 3.14:

MỚI: Hỗ trợ cho _ biến tham số_ cung cấp một thay thế cho
`tham số / 2` và` này / 1` được xây dựng trong phương pháp để truy cập các tham số thực thể.
Biến tham số là các biến được sử dụng trong số nhận dạng đối tượng tham số
bắt đầu và kết thúc bằng dấu gạch dưới (`_VariableName_`). Bất kỳ sự cố nào xảy ra
của một biến tham số trong một mệnh đề thực thể được hợp nhất hoàn toàn với
tham số thực thể. Điều này cho phép các thông số thực thể được thêm, sắp xếp lại hoặc
bị xóa mà không yêu cầu bất kỳ thay đổi nào đối với các điều khoản đề cập đến chúng.
Biến tham số chỉ được hỗ trợ cho các thực thể tham số được xác định trong
các tệp nguồn.

Có gì mới trong phiên bản 3.13:

MỚI: Trình biên dịch hỗ trợ phát hiện cuộc gọi đến các biến vị ngữ tĩnh cục bộ mà không có mệnh đề phù hợp ).

Tính năng mới trong phiên bản 3.11.1:

* CẢI TIẾN: Các thông báo cảnh báo và thông báo lỗi của trình biên dịch để làm cho chúng thống nhất hơn để tạo điều kiện phân tích cú pháp bằng các trình soạn thảo và IDE và để tránh in các thuật ngữ có tiềm năng lớn.


* CẢI TIẾN: Trình biên dịch không còn yêu cầu các cuộc gọi đến cơ sở dữ liệu và các biến vị ngữ phản chiếu trong đó đối số đầu tiên là một thuật ngữ đủ điều kiện được bao bọc bằng cách sử dụng cấu trúc điều khiển trình biên dịch `{} / 1`.


* CẢI TIẾN: Kiểm tra lỗi trình biên dịch cho các cuộc gọi vị từ cơ sở dữ liệu và phản xạ trong đó đối số đầu tiên là một thuật ngữ đủ điều kiện của mô-đun.


* CẢI TIẾN: Giảm thiểu số lần tải lại tệp được kích hoạt bởi các lệnh gọi đến các vị từ `logtalk_make / 0-1`.


* CỐ ĐỊNH: Trường hợp các vị từ `logtalk_make / 0-1` không thể tải lại tệp có biên dịch tạo ra lỗi trình biên dịch.

Tính năng mới trong phiên bản 3.11:

* THAY ĐỔI: Vị từ được xây dựng sẵn `current_event / 5` để luôn khởi tạo đối số đầu tiên khi được gọi với nó không bị ràng buộc.


* THÊM: Hỗ trợ ghi đè thư mục đầu mặc định bằng cách xác định
bí danh thư viện `scratch_directory` trong tệp khởi tạo Prolog phụ trợ
(giả định được tải trước khi tải Logtalk). Sau khi thảo luận với
Douglas R. Miles hỗ trợ cài đặt Logtalk trong một thư mục chỉ đọc
và chạy nhiều trường hợp Logtalk đồng thời không xung đột.


* THÊM: Phương thức thực thi ngữ cảnh được cài sẵn trong ngữ cảnh `context / 1` để cung cấp quyền truy cập
đến ngữ cảnh thực hiện lệnh gọi vị ngữ. Chủ yếu được sử dụng để cung cấp mặc định
ngữ cảnh lỗi khi kiểm tra kiểu đối số vị từ.


* THÊM: Hỗ trợ in các thông báo loại `debug` và` debug (_) `. Những
thông báo chỉ được in theo mặc định khi cờ `debug` được bật.


* THÊM: Thuộc tính `bao gồm (File)` cho `logtalk :: loaded_file_property / 2`
vị ngữ để cho phép liệt kê, bằng cách quay lại, tất cả các tệp được bao gồm bởi
tệp được tải (sử dụng chỉ thị `bao gồm / 1`).

Có gì mới trong phiên bản 3.10.7:

* RENAMED: Mục tiêu `logtalk_make / 1`` missing` thành `check`.


* THÊM: Hỗ trợ mở rộng các mục tiêu `logtalk_make / 1` với người dùng được xác định
các hành động bằng cách sử dụng biến vị ngữ multifile mới `logtalk_make_target_action / 1`.


* THÊM: Kiểm tra lint của trình biên dịch cho các mục tiêu về thực thể và thực thể giả.
Hiện đã được kiểm tra là các cuộc gọi đến sự hợp nhất, so sánh và loại Prolog
thử nghiệm các biến vị ngữ dựng sẵn. Được đề xuất bởi Barry Evans.

Có gì mới trong phiên bản 3.10.5:

* CỐ ĐỊNH: Hồi quy được giới thiệu trong bản phát hành 3.10.2 khi thực thi siêu gọi ngữ cảnh được xây dựng trong phương pháp.

* CỐ ĐỊNH: Lỗi trình biên dịch kết quả từ việc áp dụng tính năng kiểm tra tính di động cho các cuộc gọi đến các biến vị ngữ và chức năng được xây dựng sẵn trong các mệnh đề phụ (thường được tạo ra bởi cơ chế mở rộng).

Tính năng mới trong phiên bản 3.10.3:

* CẢI TIẾN: Mã đơn giản được tạo cho các vị từ đa vị.


* CỐ ĐỊNH: Hồi quy trong bản phát hành trước trong quá trình biên dịch đa tệp
các mệnh đề vị ngữ thực hiện cuộc gọi đến các cấu trúc điều khiển `:: / 1-2`.

Tính năng mới trong phiên bản 3.09.1:

* THÊM: Hỗ trợ đối tượng `number_of_rules / 1` và` number_of_user_rules / 1`
và thuộc tính danh mục.


* THÊM: Hỗ trợ thuộc tính vị ngữ `number_of_rules / 1`.


* THÊM: Phát hiện chỉ thị `meta_predicate / 1` chỉ định sai mục tiêu
meta-argument thực sự là một đóng được chuyển cho `predic / 2-N` meta-predicate
cuộc gọi. Nhờ Arun Majumdar cho báo cáo.


* THÊM: Phát hiện thiếu chỉ thị phạm vi vị ngữ trong sự hiện diện của
`mode / 2` chỉ thị.

Có gì mới trong phiên bản 3.09.0:

* THAY ĐỔI: Tệp cài đặt hiện cũng được tìm kiếm trong người dùng thư mục chính
khi không tìm thấy trong thư mục khởi động hoặc trong thư mục người dùng Logtalk.
Đặt cờ `settings_file` thành` limits` bây giờ hạn chế tìm kiếm
một tập tin cài đặt vào thư mục người dùng Logtalk và thư mục nhà người dùng.
Thay đổi này rất hữu ích khi một nhóm chia sẻ cài đặt Logtalk với cả hai
các biến môi trường `LOGTALKHOME` và` LOGTALKUSER` trỏ đến
cùng một thư mục. Cảm ơn Barry Evans đã đề xuất.

Tính năng mới trong phiên bản 3.08.0:

* THAY ĐỔI: Đảm bảo rằng trong thông báo lỗi và cảnh báo trình biên dịch thông tin về tệp và dòng luôn là dòng cuối cùng cho vấn đề được báo cáo.

Tính năng mới trong phiên bản 3.07.0:

* THÊM: Cờ chỉ đọc «unicode` để mô tả trình biên dịch phụ trợ Prolog
hỗ trợ chuẩn Unicode.


* THÊM: Hỗ trợ cho `++` (mặt đất) và `--` (unbound) đối số instantiation
chế độ (được khai báo là toán tử tiền tố) để sử dụng với thuộc tính `mode / 2`
chỉ thị.


* THÊM: Hỗ trợ đặc tả xác định `one_or_error` trong` chế độ / 2`
chỉ thị vị ngữ. Hữu ích cho việc ghi lại các biến vị ngữ kiểm tra kiểu.


* CẢI TIẾN: Phát hiện các nỗ lực để gọi các mục tiêu định lượng tồn tại bên ngoài
phạm vi của các cuộc gọi `bagof / 3` và` setof / 3`.


* CỐ ĐỊNH: Khi biên dịch chỉ thị `sử dụng / 2`, không tạo mệnh đề liên kết cho
sử dụng thời gian chạy cho các biến vị ngữ được xây dựng trong `người dùng` khi không có bí danh nào được xác định.


* FIXED: Khi truyền một lỗi biên dịch cho một tệp tới các tệp gốc,
đảm bảo rằng tổ tiên tệp sẽ được tải lại bắt đầu với tổ tiên hàng đầu
bởi cơ chế tạo ra.


* CỐ ĐỊNH: Tránh tải lại tệp dư thừa khi gọi `logtalk_make / 0` hoặc
`logtalk_make / 1` với mục tiêu` tất cả`.


* FIXED: Phát hiện các vị từ bị thiếu trong các cuộc gọi `^^ / 1` khi gọi
`logtalk_make / 1` với mục tiêu` missing`.

* CỐ ĐỊNH: Lỗi trong API phản chiếu nơi một số tham chiếu chéo vị ngữ
thông tin không được ghi lại. Nhờ có Edward Schwartz về báo cáo lỗi.

Tính năng mới trong phiên bản 3.06.2:

Bản phát hành này tiếp tục công việc cải thiện các công cụ dành cho nhà phát triển trong tài trợ của Kyndi, Inc. Nó bao gồm một phiên bản mới của công cụ bao bọc để chuyển các ứng dụng Prolog đơn giản và cải tiến và sửa lỗi cho các công cụ lgtunit và sơ đồ. Nó cũng bao gồm các bài kiểm tra đơn vị mới, bản sửa lỗi trình biên dịch và tài liệu cũng như bản cập nhật tương thích cho Lean Prolog.

Tính năng mới trong phiên bản 3.04.1:

* CỐ ĐỊNH: Lỗi trình biên dịch trong đó một biến vị ngữ được mở rộng theo thuật ngữ bằng cách gọi phương thức `compile_aux_clauses / 1` có thể được báo cáo sai là không liên quan.


* CỐ ĐỊNH: Các cuộc gọi đến biến vị ngữ được xây dựng trong `threaded_notify / 1` từ bên trong đối tượng giả` user` không được yêu cầu một tham số ràng buộc theo tài liệu.


* CỐ ĐỊNH: Các cuộc gọi đến các biến vị ngữ được xây dựng trong `object_property / 2` và category_property / 2` với các đối số thuộc tính` number_of_clauses / 1` hoặc `number_of_user_clauses / 1` để xác định.

mới trong phiên bản 3.03.0:

* THÊM: Hỗ trợ cho mục tiêu `logtalk_make / 1` mới,` missing`, để liệt kê các thực thể và vị từ bị thiếu. Cũng có sẵn bằng cách sử dụng phím tắt `{?}`.

* THÊM: Hỗ trợ cho một mục tiêu `logtalk_make / 1` mới,` tròn`, để liệt kê các tham chiếu vòng tròn (xem xét các mục tiêu gửi tin nhắn) giữa các cặp và bộ ba đối tượng. Cũng có sẵn bằng cách sử dụng phím tắt `{@}`.

* CẢI TIẾN: Thêm một băm thư mục vào tên tệp Prolog trung gian để giúp tránh va chạm tên tệp khi thu thập tất cả các tệp trung gian trong cùng một thư mục để nhúng. Hiện tại yêu cầu ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB hoặc YAP là trình biên dịch phụ trợ.

* CỐ ĐỊNH: Lỗi tối ưu hóa cuộc gọi meta-predicate khi một đối số meta là một đóng cửa được biên dịch trước hoặc đóng cửa cho một mục tiêu được gọi là trong ngữ cảnh của
`user` giả đối tượng. Cũng áp dụng kiểm tra lỗi nghiêm ngặt hơn để đóng meta-đối số.

* CỐ ĐỊNH: In đẹp đối tượng tham số và số nhận dạng danh mục tham số trong thông báo lỗi và cảnh báo.

Tính năng mới trong phiên bản 3.02.2:

* CỐ ĐỊNH: Lỗi khi kiểm tra lỗi trong biểu thức lambda bằng cách sử dụng `true / 0` làm lambda
mục tiêu. Nhờ Boris Vassilev cho báo cáo lỗi.


* CỐ ĐỊNH: Vị từ `logtalk_make / 1` sẽ thành công (sau khi in cảnh báo
tin nhắn) khi được gọi với đối số không được khởi tạo hoặc không hợp lệ thay vì
thất bại. đến
tạo các tệp Prolog trung gian bằng cách sử dụng một vị từ đa biến cho một
nhúng trải nghiệm. Đáng chú ý, nó làm cho nó dễ dàng hơn để làm gia tăng nhúng.


* CẢI TIẾN: Các biến vị ngữ thực hiện bây giờ cũng tải lại tệp gốc của tệp bằng
lỗi biên dịch hoặc tải. Điều này đảm bảo rằng, khi một tập tin bị lỗi hủy bỏ
biên dịch tất cả các tệp trong một tệp bộ nạp, các tệp được liệt kê sau khi bị lỗi
tệp sẽ được biên dịch khi tệp bị lỗi được cố định và các biến vị ngữ thực hiện là
được gọi.

Tính năng mới trong phiên bản 3.02.1:

* CẢI TIẾN: Các mục trong bảng thời gian chạy cho các tệp đã tải hiện được thêm vào các tệp Prolog trung gian được tạo bằng cách sử dụng một biến vị ngữ nhiều lớp để có trải nghiệm nhúng tốt hơn. Đáng chú ý, nó làm cho nó dễ dàng hơn để làm gia tăng nhúng.
 * CẢI TIẾN: Các biến vị ngữ làm bây giờ cũng tải lại các tệp gốc của tệp có lỗi biên dịch hoặc tải. Điều này đảm bảo rằng, khi một tệp bị lỗi hủy bỏ việc biên dịch tất cả các tệp trong một tệp bộ nạp, các tệp được liệt kê sau khi tệp bị lỗi sẽ được biên dịch khi tệp bị lỗi được cố định và các biến vị ngữ được gọi.

Tính năng mới trong phiên bản 3.01.2:

Bản phát hành này hoàn thành việc triển khai ràng buộc tĩnh; thêm hỗ trợ cho việc sử dụng tên tệp như là với các thuộc tính biên dịch và tải; sửa lỗi trình biên dịch; tính năng cập nhật tài liệu; cải thiện các công cụ gỡ rối, kiểm tra và ghi tài liệu; thêm một bộ kiểm thử đơn vị mới để kiểm tra sự phù hợp Prolog với các tiêu chuẩn chính thức và thực tế; cập nhật màu cú pháp cho tất cả các trình soạn thảo văn bản được hỗ trợ và tô sáng cú pháp; và bao gồm các bản cập nhật tương thích cho ECLiPSe, JIProlog và YAP.

Yêu cầu :

Trình biên dịch Prolog tương thích.

Phần mềm tương tự

Phần mềm khác của nhà phát triển Logtalk

Logtalk
Logtalk

3 May 15

Ý kiến ​​để Logtalk

Bình luận không
Nhập bình luận
Bật hình ảnh!