Библиотеки, написани на Prolog
open-source-rover
Направи си сам, 6-колесен роувър, базиран на роувърите на Марс!.
- 7.3k
- Apache License 2.0
logtalk3
Logtalk - декларативен обектно-ориентиран логически език за програмиране.
- 359
- Apache License 2.0
dumbpad
Прост 4x4 цифров блок с въртящ се енкодер. Осъществено от QMK чрез ATmega32u4 Pro Micro.
- 299
- GNU General Public License v3.0 only
BadUSB-Cable
BadUSB кабел, базиран на микроконтролер Attiny85..
- 274
- Creative Commons Attribution 4.0
ciao
Ciao е модерна реализация на Prolog, която се изгражда от базирано на логика просто ядро, проектирано да бъде преносимо, разширяемо и модулно.
- 214
- GNU Lesser General Public License v3.0 only
RTEC
RTEC е внедряване на Event Calculus, оптимизирано за разсъждения на потока.
- 71
- GNU Lesser General Public License v3.0 only
precautionary
Диагностика на безопасността, ориентирана към пациента, за онкологични изпитвания за повишаване на дозата, изследване на безопасността на дизайна в светлината на междуиндивидуалните вариации в PKPD.
- 20
- GNU General Public License v3.0
Alpino
Анализатор на Alpino и свързани инструменти за холандски.
- 18
- GNU Lesser General Public License v3.0 only
Phenesthe
„Фенест“ (ориг. φαίνεσθαι) е система за представяне и обработка на мигновени и продължителни времеви явления.
- 18
- GNU General Public License v3.0 only
data-logic
Експертна система с дедуктивно запитване и проверка на ограниченията, изразени на естествен език.
- 14
THELEMA
Моята магистърска теза: система за въвеждане на граматика.
- 12
- GNU General Public License v3.0 only