2 مستودعات
Awesome GitHub RepositoriesDeductive Databases
Database systems that use declarative logic, Horn clauses, and tabling to derive results.
Distinct from Database Query Execution: Deductive logic querying is a distinct paradigm from the relational SQL or graph queries listed in candidates.
Explore 2 awesome GitHub repositories matching data & databases · Deductive Databases. Refine with filters or upvote what's useful.
Awesome Deductive Databases GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- racket/racket
racket/racket
5,157عرض على GitHubRacket هي لغة برمجة متعددة النماذج للأغراض العامة من عائلة Lisp مصممة لإنشاء اللغات. تعمل كمنصة عمل للغة، حيث توفر بيئة لتصميم وتنفيذ لغات برمجة مخصصة من خلال نظام مرن من الماكرو والوحدات. يتميز النظام بتقديم مجموعة شاملة لهندسة الدلالات، مما يسمح ببناء مجموعات لغوية متخصصة وطبقات تعليمية. يتضمن أدوات لتصميم اللغات المخصصة، مثل إنشاء المحلل اللغوي (lexer and parser)، بالإضافة إلى القدرة على تحديد قواعد توسيع الوحدات واختيار اللغة الديناميكي في وقت القراءة. يوفر المشروع بيئة تطوير متكاملة مع محرر مدمج، ومصحح أخطاء مرئي، ومدير حزم برمجية. تمتد إمكانياته إلى مكتبة قياسية للأغراض العامة تغطي عرض الرسومات ثنائية الأبعاد، ومعالجة البيانات الثنائية، وتكامل SQL وقواعد البيانات الاستنتاجية، وبناء واجهات المستخدم الرسومية. تدعم البيئة تجميع الكود المصدري في ملفات تنفيذية مستقلة للتوزيع.
Supports executing declarative logic queries using Horn clauses and tabling to ensure result termination.
Racketracket - google-deepmind/alphageometry
google-deepmind/alphageometry
4,865عرض على GitHubAlphaGeometry هو نظام ذكاء اصطناعي رمزي عصبي مصمم كحل هندسي مؤتمت ومثبت نظريات. يدمج نموذج لغة كبيراً مع محرك إثبات رسمي لاستخلاص استنتاجات هندسية من مقدمات معينة وتوليد إثباتات رسمية خطوة بخطوة. يتميز النظام من خلال الجمع بين محرك استنتاج رمزي وإنشاءات مساعدة مدفوعة عصبياً. يستخدم هذا الهيكل نموذج لغة لاقتراح نقاط أو خطوط إضافية لسد الفجوات في الإثبات، بينما تتحقق قاعدة بيانات استنتاجية ونظام تفكير جبري من الصحة الرياضية لكل خطوة مقابل بديهيات صارمة. يغطي المشروع التحقق الرياضي الرسمي والتفكير الهندسي الرمزي من خلال بحث إثبات تكراري وحلقة هجينة رمزية عصبية.
Utilizes a deductive database to store geometric properties and derive new conclusions via symbolic logic.
Python
