Các thư viện được viết bằng Prolog
open-source-rover
Xe tự hành 6 bánh tự chế tạo dựa trên xe tự hành trên sao Hỏa!.
- 7.3k
- Apache License 2.0
dumbpad
Bàn phím số 4x4 đơn giản với bộ mã hóa vòng quay. Được cung cấp bởi QMK thông qua ATmega32u4 Pro Micro.
- 299
- GNU General Public License v3.0 only
ciao
Ciao là một triển khai Prolog hiện đại được xây dựng từ một hạt nhân đơn giản dựa trên logic được thiết kế để có thể di động, có thể mở rộng và theo mô-đun..
- 214
- GNU Lesser General Public License v3.0 only
RTEC
RTEC là một triển khai Tính toán sự kiện được tối ưu hóa cho lý luận luồng.
- 71
- GNU Lesser General Public License v3.0 only
precautionary
Chẩn đoán an toàn lấy bệnh nhân làm trung tâm cho các thử nghiệm tăng liều điều trị ung thư, kiểm tra độ an toàn của thiết kế dựa trên sự khác biệt giữa các cá nhân trong PKPD..
- 20
- GNU General Public License v3.0
Alpino
Trình phân tích cú pháp Alpino và các công cụ liên quan cho tiếng Hà Lan.
- 18
- GNU Lesser General Public License v3.0 only
Phenesthe
'Phenesthe' (orig. φαίνεσθαι) là một hệ thống để biểu diễn và xử lý các hiện tượng thời gian tức thời và lâu dài..
- 18
- GNU General Public License v3.0 only
data-logic
Hệ chuyên gia với truy vấn suy diễn và xác minh các ràng buộc được thể hiện bằng ngôn ngữ tự nhiên.
- 14
THELEMA
Luận án thạc sĩ của tôi: một hệ thống quy nạp ngữ pháp.
- 12
- GNU General Public License v3.0 only