Bibliotecas escritas en Prolog

open-source-rover

¡Un rover de 6 ruedas construido por usted mismo basado en los rover de Marte!.

7.3k
Apache License 2.0

terminusdb

TerminusDB es una base de datos distribuida con un modelo de colaboración.

2.4k
Apache License 2.0

stabilizer

Estabilizador: evaluación rigurosa del rendimiento.

523
Apache License 2.0

the-constitution-of-japan

423

logtalk3

Logtalk: lenguaje de programación lógico declarativo orientado a objetos.

359
Apache License 2.0

dumbpad

Teclado numérico simple 4x4 con codificador rotatorio. Desarrollado por QMK a través de ATmega32u4 Pro Micro.

299
GNU General Public License v3.0 only

BadUSB-Cable

Cable BadUSB basado en el microcontrolador Attiny85.

274
Creative Commons Attribution 4.0

tar.pl

creador de alquitrán+extractor en ~100 líneas de prólogo.

248

elpi

Intérprete Lambda Prolog integrable.

236
GNU Lesser General Public License v3.0 only

ciao

Ciao es una implementación moderna de Prolog que se desarrolla a partir de un kernel simple basado en lógica diseñado para ser portátil, extensible y modular.

214
GNU Lesser General Public License v3.0 only

metagol

Metagol - un sistema de programación lógica inductiva.

175
BSD 3-clause "New" or "Revised"

clpz

Programación lógica de restricciones sobre enteros.

160

Gleemin

Un sistema experto de Magic: the Gathering™.

86

louise

Aprendizaje metainterpretativo en tiempo polinomial.

77
GNU General Public License v3.0

RTEC

RTEC es una implementación de cálculo de eventos optimizada para el razonamiento de flujo.

71
GNU Lesser General Public License v3.0 only

nests-and-insects

Un juego de rol de mesa Roguelike.

50
GNU General Public License v3.0 only

sparqlprog

programación lógica con SPARQL.

42

aleph

Puerto de Aleph a SWI-Prolog (por friguzzi).

36

swipldcgtut

Un tutorial para DCG en swi-Prolog.

29

PRESS

Sistema de resolución de ecuaciones PRolog.

28
MIT

packages-http

El servidor SWI-Prolog HTTP y las bibliotecas de clientes.

22

precautionary

Diagnósticos de seguridad centrados en el paciente para ensayos oncológicos de escalada de dosis, examinando la seguridad del diseño a la luz de la variación interindividual en la PKPD.