logic-programming
logic-programming टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर logic-programming के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और logic-programming टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1
Logica एक लॉजिक प्रोग्रामिंग भाषा है जो SQL में संकलित होती है। यह DuckDB, Google BigQuery, PostgreSQL और SQLite पर चलती है।
★ 2,132+0पिछले 7 दिनों में स्टार का बदलाव - #2
The Power of Prolog: आधुनिक Prolog का परिचय
★ 1,402+2पिछले 7 दिनों में स्टार का बदलाव - #3
SWI-Prolog मुख्य विकास रिपॉजिटरी
★ 1,278+4पिछले 7 दिनों में स्टार का बदलाव - #4
Soufflé, हॉर्न क्लॉज़ में विश्लेषण तैयार करने वाले टूल डिज़ाइनरों के लिए Datalog का एक वेरिएंट है। Soufflé एक लॉजिक स्पेसिफिकेशन से एक नेटिव पैरेलल C++ प्रोग्राम तैयार करता है।
★ 1,155+3पिछले 7 दिनों में स्टार का बदलाव - #5★ 995+2पिछले 7 दिनों में स्टार का बदलाव
- #6★ 923+0पिछले 7 दिनों में स्टार का बदलाव
- #7★ 829+4पिछले 7 दिनों में स्टार का बदलाव
- #8★ 769+1पिछले 7 दिनों में स्टार का बदलाव
- #9★ 729+0पिछले 7 दिनों में स्टार का बदलाव
- #10★ 578+2पिछले 7 दिनों में स्टार का बदलाव
- #11
PySwip एक Python-Prolog इंटरफ़ेस है जो आपके Python प्रोग्राम्स में SWI-Prolog को क्वेरी करने में सक्षम बनाता है।
★ 550+1पिछले 7 दिनों में स्टार का बदलाव - #12★ 533+0पिछले 7 दिनों में स्टार का बदलाव
- #13★ 530+1पिछले 7 दिनों में स्टार का बदलाव
