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

stabilizer

Estabilizador: Rigorosa Avaliação de Desempenho.
  • 523
  • 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

BadUSB-Cable

Cabo BadUSB baseado no microcontrolador Attiny85.
  • 274
  • Creative Commons Attribution 4.0

tar.pl

tar criador+extrator em ~100 linhas de prólogo.
  • 248

elpi

Intérprete Lambda Prolog incorporável.
  • 236
  • GNU Lesser 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

metagol

Metagol - um sistema de programação de lógica indutiva.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

Programação Lógica de Restrições sobre Inteiros.
  • 160

Gleemin

Um sistema especialista em Magic: the Gathering™.
  • 86

louise

Aprendizagem meta-interpretativa em tempo polinomial.
  • 77
  • GNU General Public License v3.0

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

nests-and-insects

Um RPG de mesa Roguelike.
  • 50
  • GNU General Public License v3.0 only

sparqlprog

programação lógica com SPARQL.
  • 42

aleph

Porto de Aleph para SWI-Prolog (por friguzzi).
  • 36

swipldcgtut

Um tutorial para DCG em swi-Prolog.
  • 29

PRESS

Sistema de Resolução de Equações PRolog.
  • 28
  • MIT

packages-http

O servidor HTTP SWI-Prolog e as bibliotecas do cliente.
  • 22

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

debug_adapter

Implementação do Debug Adapter Protocol (DAP) para SWI-Prolog.
  • 18
  • MIT

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

djota

Uma implementação Djot em Prolog.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

Minha tese de mestrado: um sistema de indução gramatical.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

Ferramentas de semântica formal de distribuição (DFS).
  • 11
  • Apache License 2.0

advent-of-code-2020

Soluções do Advent of Code 2020 (por aarroyoc).
  • 9
  • The Unlicense