logic-programming

23Nhiệt

1Trả lời

Loại hệ thống nào có thể ngăn chặn việc tạm ngưng mục tiêu bằng ngôn ngữ logic?

Từ phần 3.13.3 của curry tutorial: Operations rằng residuate được gọi là cứng nhắc, trong khi hoạt động mà thu hẹp được gọi là linh hoạt. Tất cả các hoạt động được xác định là linh hoạt trong khi hầu

5Nhiệt

4Trả lời

Đa luồng trong ... ngôn ngữ chức năng? (Prolog)

Khi bạn tôi bắt đầu học Prolog ở trường, tôi đã vui vẻ với anh ấy vì đã học một ngôn ngữ vô dụng. Tuy nhiên, anh ấy đã cho tôi xem một số thứ mà tôi chưa từng biết; Tôi muốn biết kỹ thuật này đến từ đ

14Nhiệt

5Trả lời

Ngôn ngữ lập trình mới hơn Prolog để lập trình logic

Có ngôn ngữ nào mới hơn Prolog chuyên về lập trình logic không?

14Nhiệt

3Trả lời

Việc sử dụng các toán tử boolean không mạch ngắn trong Erlang là gì?

Tôi đang học Erlang từ cuốn sách web LearnYouSomeErlang. Có một điều khiến tôi giật mình trong khi học là không có sự kết hợp boolean ngắn mạch và các toán tử rời rạc; and và or. Các trường hợp sử dụn

29Nhiệt

7Trả lời

Lập trình quan hệ/logic trong Python?

Tôi là một nhà phát triển python lâu năm và gần đây đã được giới thiệu với Prolog. Tôi thích khái niệm sử dụng các quy tắc mối quan hệ cho một số loại nhiệm vụ nhất định và muốn thêm điều này vào tiết

15Nhiệt

4Trả lời

Thực thi mã prolog trên iPhone

Tôi hiện đang có nhu cầu thực thi mã prolog trong một ứng dụng tôi đang thực hiện. Tôi biết rằng Apple có lẽ sẽ không bao giờ cho phép một cái gì đó như thế này trong App Store, nhưng đó cũng không ph

9Nhiệt

1Trả lời

Chức năng Trả về "Không có giải pháp" thay vì "Không có gì"

Tôi có một kiểu dữ liệu tiêu chuẩn đại diện cho các công thức của logic vị ngữ. Một chức năng đại diện cho một quy tắc loại trừ khấu trừ tự nhiên cho phân ly có thể trông giống như: d_el p q = if

8Nhiệt

3Trả lời

Các biến logic hỗ trợ cho .NET

Tôi đang tìm thư viện/assembly cho phép tôi làm việc với các biến logic trong F #. Tôi muốn tránh tái phát minh bánh xe trong việc thực hiện cơ sở hạ tầng liên hiệp tìm kiếm cần thiết, mã hợp nhất và

9Nhiệt

2Trả lời

Ngôn ngữ chức năng logic hữu dụng và hữu ích nhất để học

Tôi đã rất ngạc nhiên trước sức mạnh của Prolog. Phải mất một thời gian để có được người đứng đầu xung quanh, nhưng đối với tôi nó dường như là ngôn ngữ khai báo tuyệt vời nhất ở đó. Đó là lý do gần đ

21Nhiệt

2Trả lời

Giải thích ngắn gọn về Core.logic

Tôi muốn sử dụng Corejlogic của Clojure. Tuy nhiên, tôi cũng muốn hiểu nó hoạt động như thế nào. Có một lời giải thích ngắn gọn về nó ở đâu đó? (Giống như thực hiện một bộ đánh giá metacircular?) Cảm