Tại sao tên miniKanren luôn kết thúc bằng `o`?

Question

Tất cả các mối quan hệ miniKanren kết thúc bằng chữ cái o. Động lực cho việc này là gì? Tôi thấy rằng thư viện core.logic Clojure cũng thực hiện điều này.

Answer 1

Trong Lời nói đầu của Các lý luận âm mưu, họ giải thích nó như sau:

Một mối quan hệ, một hàm trả về một mục tiêu như giá trị của nó, kết thúc tên của nó với một superscript 'o' (ví dụ: ô tô ^o và null ^o).

Vì vậy, đó là ký hiệu để biểu thị mối quan hệ.

Answer 2

Đó là bởi vì các tác giả của Các lý luận âm mưu muốn các ký hiệu của mối quan hệ miniKanren là gợi nhiều liên tưởng của các vị từ Chương trình thông thường mà kết thúc trong ? (ví dụ, null?, pair?) theo quy ước. Chỉ số ^o, nếu bạn nheo mắt đủ (và đã nghe câu chuyện này trước đây), trông giống như một sửa đổi ?.