GLORIA 1.1.2
Giấy phép: Miễn phí Kích cỡ tệp: N/A
Xếp hạng người dùng: 4.0/5 - 1 Phiếu
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về GLORIA
Dự án này là về việc thực hiện một logic lập trình dựa trên, lý luận công cụ cho một đại lý. Chúng tôi bắt đầu với việc thực hiện các thủ tục iff-proof, bởi Kowalski và Fung, như một thuật toán bất cứ lúc nào được viết bằng Prolog.