Bibliothèques écrites en Prolog
open-source-rover
Un rover à 6 roues à construire soi-même basé sur les rovers sur Mars!.
- 7.3k
- Apache License 2.0
terminusdb
TerminusDB est une base de données distribuée avec un modèle de collaboration.
- 2.4k
- Apache License 2.0
logtalk3
Logtalk - langage de programmation logique orienté objet déclaratif.
- 359
- Apache License 2.0
dumbpad
Pavé numérique 4x4 simple avec encodeur rotatif. Propulsé par QMK via ATmega32u4 Pro Micro.
- 299
- GNU General Public License v3.0 only
BadUSB-Cable
Câble BadUSB basé sur le microcontrôleur Attiny85.
- 274
- Creative Commons Attribution 4.0
ciao
Ciao est une implémentation Prolog moderne qui s'appuie sur un noyau simple basé sur la logique conçu pour être portable, extensible et modulaire.
- 214
- GNU Lesser General Public License v3.0 only
metagol
Metagol - un système de programmation logique inductive.
- 175
- BSD 3-clause "New" or "Revised"
RTEC
RTEC est une implémentation Event Calculus optimisée pour le raisonnement de flux.
- 71
- 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.
- 20
- GNU General Public License v3.0
Alpino
Analyseur Alpino et outils associés pour le néerlandais.
- 18
- GNU Lesser 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.
- 18
- GNU General Public License v3.0 only
data-logic
Système expert avec interrogation déductive et vérification de contraintes exprimées en langage naturel.
- 14
THELEMA
Ma thèse de maîtrise: un système d'induction de grammaire.
- 12
- GNU General Public License v3.0 only