Библиотеки, написанные на Prolog
terminusdb
TerminusDB — это распределенная база данных с моделью совместной работы.
- 2.4k
- 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
ciao
Ciao — это современная реализация Пролога, построенная из простого ядра на основе логики, предназначенного для переносимости, расширения и модульности.
- 214
- GNU Lesser General Public License v3.0 only
metagol
Метагол - система индуктивного логического программирования.
- 175
- BSD 3-clause "New" or "Revised"
RTEC
RTEC — это реализация исчисления событий, оптимизированная для потокового анализа.
- 71
- GNU Lesser General Public License v3.0 only
nests-and-insects
Настольная ролевая игра в жанре roguelike.
- 50
- GNU 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
