Librerie scritte in Prolog
terminusdb
TerminusDB è un database distribuito con un modello di collaborazione.
- 2.4k
- Apache License 2.0
logtalk3
Logtalk - linguaggio di programmazione logico orientato agli oggetti dichiarativo.
- 359
- Apache License 2.0
dumbpad
Semplice tastierino numerico 4x4 con encoder rotativo. Alimentato da QMK tramite ATmega32u4 Pro Micro.
- 299
- GNU General Public License v3.0 only
BadUSB-Cable
Cavo BadUSB basato sul microcontrollore Attiny85..
- 274
- Creative Commons Attribution 4.0
ciao
Ciao è una moderna implementazione di Prolog che si basa su un semplice kernel basato sulla logica progettato per essere portatile, estensibile e modulare.
- 214
- GNU Lesser General Public License v3.0 only
metagol
Metagol - un sistema di programmazione logica induttiva.
- 175
- BSD 3-clause "New" or "Revised"
RTEC
RTEC è un'implementazione di Event Calculus ottimizzata per il ragionamento del flusso.
- 71
- GNU Lesser General Public License v3.0 only
precautionary
Diagnostica di sicurezza centrata sul paziente per studi di aumento della dose in oncologia, esaminando la sicurezza del design alla luce della variazione interindividuale nella PKPD.
- 20
- GNU General Public License v3.0
Alpino
Parser alpino e strumenti correlati per l'olandese.
- 18
- GNU Lesser General Public License v3.0 only
Phenesthe
'Phenesthe' (orig. φαίνεσθαι) è un sistema per la rappresentazione e l'elaborazione di fenomeni temporali istantanei e durativi..
- 18
- GNU General Public License v3.0 only
data-logic
Sistema esperto con interrogazione deduttiva e verifica dei vincoli espressi in linguaggio naturale.
- 14
THELEMA
La mia tesi di laurea magistrale: un sistema di induzione grammaticale.
- 12
- GNU General Public License v3.0 only
