Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. GLORIA

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
Tải về

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.

lịch sử phiên bản

  • Phiên bản gloria-v.1.1.2 đăng trên 2007-10-23
    Một số bản sửa lỗi và cập nhật
  • Phiên bản gloria-v.1.1.2 đăng trên 2007-10-23

Chi tiết chương trình

Các chương trình liên quan

  • MidiT Miễn phí

    Dòng lệnh midi file player dựa trên aplaymidi nhưng với nhiều chức năng hơn (tạm dừng, tìm kiếm ngược/tiến, điều chỉnh nhịp độ, thời gian hiển thị,...). Đầu ra midi có thể được gửi đến bất kỳ cổng MIDI alsa nào.

  • DVB ZAP Library Miễn phí

    Cài đặt điều khiển của thiết bị DVB trong Linux. Cách tiếp cận thư viện cho phép xây dựng các công cụ dòng lệnh, danh sách kênh, applet máy tính để bàn, công cụ ghi âm trên một cơ sở chung.

  • FiLMDB Miễn phí

    FiLMDB là một danh sách phpbased và mysqlbased cho họ những người không thể nhớ những bộ phim mà họ đã nhìn thấy.

  • JWW (Java Web-Workflows) Miễn phí

    Một Khung Java để xử lý WebApplication Workflows và khóa các đối tượng đơn giản và phổ quát.

  • Freelance Miễn phí

    Freelance cung cấp một Java tinh khiết, nền tảng độc lập vỏ. Các tính năng bao gồm một lịch sử lệnh, tên tập tin tự động hoàn thành, env biến và thực hiện chương trình ren.

  • Moog The Source Controller Miễn phí

    Đây là nguồn arduino cho Encore Electronics MIDI của tôi trang bị thêm Moog Nguồn. Tôi cũng sẽ tải lên các sơ đồ EAGLE và bố trí PCB cho bộ điều khiển.

  • Oh la belle prise Miễn phí

    3D modeler và raytracer, sử dụng OpenGL Api. được viết bằng C

  • ezmeister Miễn phí

    Các công cụ bổ sung cho ezmlm để hỗ trợ lưu trữ cơ sở dữ liệu, bỏ phiếu chất lượng tin nhắn và các tính năng tiện dụng khác như quản trị XML-RPC.

  • JMJ overseas education consultants irela Miễn phí

    JMJ tư vấn giáo dục ở nước ngoài là một chuyên gia tư vấn hàng đầu cho Ireland, Đức, Phần Lan, Canada, Thụy Điển ở Hyderabad và tư vấn tốt nhất cho đức ở hyderabad.

  • Epoch Miễn phí

    Epoch là một thư viện thời gian linh hoạt bao gồm tất cả các khía cạnh của lập trình lịch. sử dụng mcal, lập trình viên có khả năng viết lịch tiêu chuẩn trong Gregorian, Hijri, Jalali và ...