मिनीकेरेन नाम हमेशा 'ओ` के साथ क्यों समाप्त होते हैं?

Question

सभी मिनीकेरेन संबंध o पत्र के साथ समाप्त होते हैं। इसके लिए प्रेरणा क्या है? मुझे लगता है कि क्लोजर कोर.लोगिक लाइब्रेरी यह भी करती है।

Answer 1

की प्रस्तावना तर्क स्कीमर में, वे यह इस प्रकार की व्याख्या:

एक संबंध है, एक समारोह है कि अपने मूल्य के रूप में एक लक्ष्य देता है, एक सुपरस्क्रिप्ट 'ओ' (के साथ अपने नाम समाप्त हो जाती है जैसे, कार ^ओ और अशक्त ^ओ)।

तो, यह एक संबंध को दर्शाने का एक संकेत है।

Answer 2

यह क्योंकि के लेखकों तर्क स्कीमर चाहता था miniKanren संबंधों के अंकन साधारण योजना विधेय ? में जो अंत (जैसे, null?, pair?) सम्मेलन द्वारा की विचारोत्तेजक होने के लिए है। सुपरस्क्रिप्ट ^ओ, यदि आप पर्याप्त घुमाते हैं (और पहले इस कहानी को सुना है), एक संशोधित ? जैसा दिखता है।