Bibliotecas escritas em Prolog
open-source-rover
Um rover de 6 rodas, construa você mesmo, baseado nos rovers de Marte!.
- 7.3k
- Apache License 2.0
terminusdb
TerminusDB é um banco de dados distribuído com um modelo de colaboração.
- 2.4k
- Apache License 2.0
logtalk3
Logtalk - linguagem de programação lógica orientada a objetos declarativa.
- 359
- Apache License 2.0
dumbpad
Numpad 4x4 simples com codificador rotativo. Alimentado por QMK via ATmega32u4 Pro Micro.
- 299
- GNU General Public License v3.0 only
ciao
Ciao é uma implementação Prolog moderna que se desenvolve a partir de um kernel simples baseado em lógica, projetado para ser portátil, extensível e modular.
- 214
- GNU Lesser General Public License v3.0 only
RTEC
RTEC é uma implementação de Cálculo de Eventos otimizada para raciocínio de fluxo.
- 71
- GNU Lesser General Public License v3.0 only
precautionary
Diagnósticos de segurança centrados no paciente para ensaios oncológicos de escalonamento de dose, examinando a segurança do projeto à luz da variação interindividual em PKPD.
- 20
- GNU General Public License v3.0
Alpino
Analisador Alpino e ferramentas relacionadas para holandês.
- 18
- GNU Lesser General Public License v3.0 only
Phenesthe
'Phenesthe' (orig. φαίνεσθαι) é um sistema para a representação e processamento de fenômenos temporais instantâneos e durativos.
- 18
- GNU General Public License v3.0 only
data-logic
Sistema especialista com consulta dedutiva e verificação de restrições expressas em linguagem natural.
- 14
THELEMA
Minha tese de mestrado: um sistema de indução gramatical.
- 12
- GNU General Public License v3.0 only