مكتبات مكتوبة بلغة Prolog

open-source-rover

مركبة جوالة سداسية العجلات تصنعها بنفسك بناءً على المركبات الجوالة على المريخ!.
  • 7.3k
  • Apache License 2.0

terminusdb

TerminusDB هي قاعدة بيانات موزعة بنموذج تعاون.
  • 2.4k
  • Apache License 2.0

stabilizer

المثبت: تقييم صارم للأداء.
  • 523
  • Apache License 2.0

the-constitution-of-japan

  • 423

logtalk3

Logtalk - لغة برمجة منطقية موجهة للكائنات.
  • 359
  • Apache License 2.0

dumbpad

لوحة رقمية بسيطة 4 × 4 مزودة بجهاز تشفير دوار. مدعوم من QMK عبر ATmega32u4 Pro Micro.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

كابل BadUSB يعتمد على متحكم Attiny85..
  • 274
  • Creative Commons Attribution 4.0

tar.pl

خالق القطران + مستخرج في حوالي 100 سطر من برولوج.
  • 248

elpi

Embeddable Lambda Prolog مترجم فوري.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

Ciao هو تطبيق Prolog الحديث الذي يبني من نواة بسيطة قائمة على المنطق مصممة لتكون محمولة وقابلة للتوسعة ووحدات معيارية..
  • 214
  • GNU Lesser General Public License v3.0 only

metagol

Metagol - نظام برمجة منطقي استقرائي.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

البرمجة المنطقية المقيدة على الأعداد الصحيحة.
  • 160

Gleemin

السحر: نظام الخبراء Gathering ™.
  • 86

louise

التعلم التلوي متعدد الحدود.
  • 77
  • GNU General Public License v3.0

RTEC

يعد RTEC أحد تطبيقات حساب الأحداث المُحسَّنة لمنطق التدفق.
  • 71
  • GNU Lesser General Public License v3.0 only

nests-and-insects

لعبة Roguelike منضدية آر بي جي.
  • 50
  • GNU General Public License v3.0 only

sparqlprog

البرمجة المنطقية مع سباركل.
  • 42

aleph

ميناء ألف إلى SWI-Prolog (بواسطة friguzzi).
  • 36

swipldcgtut

برنامج تعليمي لـ DCG's في SWI-Prolog.
  • 29

PRESS

نظام حل المعادلات برولوج.
  • 28
  • MIT

packages-http

مكتبات العميل والخادم SWI-Prolog HTTP.
  • 22

precautionary

تشخيصات السلامة المتمحورة حول المريض لتجارب تصعيد جرعات الأورام ، وفحص سلامة التصميم في ضوء التباين بين الأفراد في PKPD.
  • 20
  • GNU General Public License v3.0

Alpino

محلل Alpino والأدوات ذات الصلة للغة الهولندية.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

تطبيق بروتوكول محول التصحيح (DAP) لـ SWI-Prolog.
  • 18
  • MIT

Phenesthe

"Phenesthe" (أصل. φαίνεσθαι) هو نظام لتمثيل ومعالجة الظواهر الزمنية اللحظية والمستمرة..
  • 18
  • GNU General Public License v3.0 only

data-logic

نظام خبير مع الاستعلام الاستنتاجي والتحقق من القيود المعبر عنها بلغة طبيعية.
  • 14

djota

تنفيذ دجوت في برولوج.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

أطروحة الماجستير الخاصة بي: نظام الاستقراء النحوي.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

أدوات دلالات التوزيع الرسمية (DFS).
  • 11
  • Apache License 2.0

advent-of-code-2020

حلول ظهور الكود 2020 (بواسطة aarroyoc).
  • 9
  • The Unlicense