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

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.