Bibliothèques écrites en Prolog
refinements
Il s'agit d'un mod pour BG2 qui modifie un certain nombre de fonctionnalités, principalement les tables HLA et la mécanique des armures. (par vbigiani).
- 4
Analyzer
Analyzer est un analyseur de grammaire pour un très petit sous-ensemble de Pascal. (par pjmlp).
- 3
- GNU General Public License v3.0
war-crimes-explorer
Apprentissage interactif dans le navigateur sur le génocide, les crimes de guerre, les crimes contre l'humanité et l'agression.
- 2
- MIT
Completionist
Vérifiez et/ou générez une aventure en fonction des éléments requis pour accéder à un lieu. Inspiré par des randomiseurs tels que OOTR et Metroid.
- 2
- MIT
TommyPROM-PCB
Fichiers de conception de PCB pour le projet TommyPROM (https://github.com/TomNisbet/TommyPROM).
- 1
- MIT
FlorenceBot
Un chatbot spécifique à un domaine entièrement interactif implémenté à l'aide de Prolog et PySwip.
- 1
stabilizer
Stabilisateur: évaluation rigoureuse des performances (fourche llvm-12) (par magras).
- 1
- Apache License 2.0
Prolog-to-List-Prolog
Convertit les algorithmes Prolog en algorithmes List Prolog.
- 0
- BSD 3-clause "New" or "Revised"