Bibliothèques écrites en Prolog
terminusdb
TerminusDB est une base de données distribuée avec un modèle de collaboration.
logtalk3
Logtalk - langage de programmation logique orienté objet déclaratif.
- 297
- Apache License 2.0
dumbpad
Pavé numérique 4x4 simple avec encodeur rotatif. Propulsé par QMK via ATmega32u4 Pro Micro.
- 200
- GNU General Public License v3.0 only
metagol
Metagol - un système de programmation logique inductive.
- 175
- BSD 3-clause "New" or "Revised"
ciao
Ciao est un langage de programmation multi-paradigmes à usage général de la famille Prolog.
- 132
- Indépendants du système d'exploitation
- GNU Lesser General Public License v3.0 only
precautionary
Diagnostics de sécurité centrés sur le patient pour les essais d'escalade de dose en oncologie, examinant la sécurité de la conception à la lumière de la variation interindividuelle de la PKPD.
- 17
- GNU General Public License v3.0
Alpino
Analyseur Alpino et outils associés pour le néerlandais.
- 16
- GNU Lesser General Public License v3.0 only
THELEMA
Ma thèse de maîtrise: un système d'induction de grammaire.
- 12
- GNU General Public License v3.0 only
Phenesthe
'Phenesthe' (orig. φαίνεσθαι) est un système de représentation et de traitement de phénomènes temporels instantanés et duratifs.
- 11
- GNU General Public License v3.0 only