Библиотеки, написанные на Prolog
refinements
Это мод для BG2, который изменяет ряд функций, в основном таблицы HLA и механику доспехов. (от vbigiani).
- 4
Analyzer
Analyzer — это анализатор грамматики для очень небольшого подмножества Pascal. (от pjmlp).
- 3
- GNU General Public License v3.0
war-crimes-explorer
Интерактивное обучение в браузере о геноциде, военных преступлениях, преступлениях против человечности и агрессии.
- 2
- MIT
Completionist
Проверьте и/или создайте приключение на основе требований к предмету для доступа к локации. Вдохновленный рандомизаторами, такими как OOTR и Metroid.
- 2
- MIT
TommyPROM-PCB
Файлы дизайна печатной платы для проекта TommyPROM (https://github.com/TomNisbet/TommyPROM).
- 1
- MIT
FlorenceBot
Полностью интерактивный чат-бот для предметной области, реализованный с использованием Prolog и PySwip.
- 1
stabilizer
Стабилизатор: Строгая оценка производительности (вилка llvm-12) (от magras).
- 1
- Apache License 2.0
Prolog-to-List-Prolog
Преобразует алгоритмы Prolog в алгоритмы List Prolog.
- 0
- BSD 3-clause "New" or "Revised"