एक ग्राफ डीबी बनाम एक प्रोलॉग (या मिनीकेरेन)

Question

हाल ही में मैं नियो 4j जैसे ग्राफ डेटाबेस और प्रोलॉग और मिनीकेरेन में तर्क प्रोग्रामिंग में देख रहा हूं। जो मैंने अभी तक सीखा है, उससे दोनों तथ्यों और उनके बीच संबंधों को निर्दिष्ट करने की अनुमति देते हैं, और कुछ चयनों के लिए परिणामस्वरूप सिस्टम से पूछताछ भी करते हैं। इसलिए, वास्तव में मैं उनके बीच बहुत अंतर नहीं देख सकता हूं कि इन दोनों का उपयोग ग्राफ बनाने और क्वेरी करने के लिए किया जा सकता है, लेकिन विभिन्न वाक्यविन्यास का उपयोग कर। हालांकि, वे पूरी तरह से विभिन्न प्रकार के सॉफ्टवेयर के रूप में प्रस्तुत किए जाते हैं।

डेटाबेस को छोड़कर जो डेटाबेस शायद अधिक स्पेस-टाइम प्रभावी स्टोरेज तकनीक का प्रस्ताव दे सकता है, और इसके अलावा मिनीकेरेन जैसे छोटे तर्क कोर सरल और एम्बेड करने योग्य हैं, ग्राफ डेटाबेस और तर्क प्रोग्रामिंग भाषाओं के बीच वास्तविक अंतर क्या है, यदि वे दोनों हैं बस एक ग्राफ डेटाबेस + क्वेरी एपीआई?

Answer 1

नहीं, उन चीजों और neo4j द्वारा अवशोषित तर्क प्रोग्रामिंग काफी अलग हैं।

एक स्तर पर, आप सही हैं कि वे अवधारणात्मक रूप से ग्राफ स्टोरेज और ग्राफ़ क्वेरी दोनों की राशि हैं। लेकिन तर्क प्रोग्रामिंग के लिए, यह केवल अवधारणात्मक ग्राफ क्वेरी है, इस बात की कोई गारंटी नहीं है कि यह वास्तव में उस तरह से संग्रहीत है (जहां neo4j के साथ, यह है)।

दूसरा, तर्क प्रोग्रामिंग के साथ आप आमतौर पर horn clauses स्थापित करने की कोशिश कर रहे हैं जो आपको बहुत सारे डेटा के माध्यम से कारण बताता है। आप एक सींग खंड को एक साधारण नियम के रूप में सोच सकते हैं, जैसे कि "यदि कोई पुरुष पुरुष है, और जैविक बच्चे का प्रत्यक्ष पूर्वज है, तो इसका तात्पर्य है कि व्यक्ति एक पिता है"। neo4j साथ बीजलेख में, आप एक ग्राफ़ पैटर्न में आप मिलान करना चाहते हैं का वर्णन होगा, कि डेटा में परिणाम, उदा .:

MATCH (p:Person)-[:father*]->(maleAncestor:Person) 
RETURN maleAncestor 

यह father रिश्तों द्वारा ग्राफ पार करने के लिए कहता है, और पुरुष पूर्वजों लौट आते हैं। एक तर्क प्रोग्रामिंग भाषा में, आप इसे इस तरह से नहीं करेंगे। आप निर्दिष्ट कर सकते हैं कि ab के पिता होने का अर्थ है कि a पुरुष है, और ab का पूर्वज है। यह पूरी तरह से और transitively राज्य होगा कि सभी मान्य ए/बी जोड़ी के लिए। फिर आप एक सवाल पूछेंगे, "पुरुष पूर्वजों कौन हैं"? प्रोग्रामिंग पर्यावरण तब जवाब देगा कि आपके नियमों का शोषण करके। उस डेटा के माध्यम से एक ट्रैवर्सल बनाने का असर होगा जो ऊपर उल्लिखित साइफर के समान है, लेकिन जिस तरह से आप अपने डेटा को समझने और उस ट्रैवर्सल को बनाने के बारे में सोचते हैं, वह बिल्कुल अलग है।

तर्क प्रोग्रामिंग भाषा आमतौर पर predicate resolution के माध्यम से काम करती है। एक ग्राफ क्वेरी भाषा जैसे साइफर पैटर्न मिलान के संयोजन और स्पष्ट पथ पदनाम के संयोजन से काम करता है। वे बहुत अलग हैं।