Bibliotecas escritas en Prolog
refinements
Este es un mod para BG2 que modifica una serie de características, principalmente las tablas HLA y la mecánica de las armaduras. (por vbigiani).
- 4
Analyzer
Analyzer es un analizador de gramática para un subconjunto muy pequeño de Pascal. (por pjmlp).
- 3
- GNU General Public License v3.0
war-crimes-explorer
Aprendizaje interactivo en el navegador sobre genocidio, crímenes de guerra, crímenes de lesa humanidad y agresión.
- 2
- MIT
Completionist
Comprueba y/o genera una aventura en función de los requisitos de elementos para acceder a una ubicación. Inspirado en Randomizers como OOTR y Metroid.
- 2
- MIT
TommyPROM-PCB
Archivos de diseño de PCB para el proyecto TommyPROM (https://github.com/TomNisbet/TommyPROM).
- 1
- MIT
FlorenceBot
Un chatbot específico de dominio totalmente interactivo implementado con Prolog y PySwip.
- 1
stabilizer
Estabilizador: evaluación rigurosa del rendimiento (horquilla llvm-12) (por magras).
- 1
- Apache License 2.0
Prolog-to-List-Prolog
Convierte algoritmos de Prolog en algoritmos de List Prolog.
- 0
- BSD 3-clause "New" or "Revised"