logic-programming
Các kho mã nguồn mở đang theo dõi được gắn thẻ logic-programming, sắp xếp theo số sao.
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng logic-programming trên cùng một kho mã.
Mới nổi gần đây
Các kho mã tạo trong 90 ngày qua và được gắn thẻ logic-programming.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
Logica là một ngôn ngữ lập trình logic biên dịch thành SQL. Nó chạy trên DuckDB, Google BigQuery, PostgreSQL và SQLite.
★ 2.132+2Thay đổi số sao trong 7 ngày qua - #2
Sức mạnh của Prolog: Giới thiệu về Prolog hiện đại
★ 1.402+1Thay đổi số sao trong 7 ngày qua - #3
Kho lưu trữ phát triển chính của SWI-Prolog
★ 1.278+1Thay đổi số sao trong 7 ngày qua - #4
Soufflé là một biến thể của Datalog dành cho các nhà thiết kế công cụ tạo ra các phân tích bằng mệnh đề Horn. Soufflé tổng hợp một chương trình C++ song song gốc từ đặc tả logic.
★ 1.155+3Thay đổi số sao trong 7 ngày qua - #5★ 995+3Thay đổi số sao trong 7 ngày qua
- #6★ 924+1Thay đổi số sao trong 7 ngày qua
- #7★ 829+1Thay đổi số sao trong 7 ngày qua
- #8★ 769+1Thay đổi số sao trong 7 ngày qua
- #9★ 729+1Thay đổi số sao trong 7 ngày qua
- #10★ 578+3Thay đổi số sao trong 7 ngày qua
- #11
PySwip là giao diện Python-Prolog cho phép truy vấn SWI-Prolog trong các chương trình Python của bạn.
★ 550+0Thay đổi số sao trong 7 ngày qua - #12★ 533+1Thay đổi số sao trong 7 ngày qua
- #13★ 530+1Thay đổi số sao trong 7 ngày qua
