Bibliotecas escritas en Prolog

thelma

Una implementación del Aprendizaje Meta-Interpretativo.
  • 8

prolog-checkers

Un juego de damas Player vs AI implementado en Prolog.
  • 8
  • MIT

brainfuck-pl

Un intérprete de brainf*ck en Prolog.
  • 7

edcg

Sintaxis DCG extendida para Prolog por Peter Van Roy.
  • 6
  • MIT

conlang

Garabatos de lenguaje construido.
  • 5

regexc

Un compilador de expresiones regulares escrito en Prolog.
  • 5

prolog-to-minizinc

Un traductor de Prolog a MiniZinc.
  • 5
  • MIT

mine-prolog-tba

Un pequeño juego de aventuras basado en texto desarrollado en prolog..
  • 5

wh40ksim

Simulador de combate Warhammer 40k.
  • 5

bencode

Bencoding para Prolog (por mndrix).
  • 4
  • The Unlicense

bulletpl

  • 4
  • BSD 2-clause "Simplified"

refinements

Este es un mod para BG2 que modifica una serie de características, principalmente las tablas HLA y la mecánica de las armaduras. (por vbigiani).
  • 4

advent-of-code-2022

  • 3
  • The Unlicense

Analyzer

Analyzer es un analizador de gramática para un subconjunto muy pequeño de Pascal. (por pjmlp).
  • 3
  • GNU General Public License v3.0

robo

Una herramienta de automatización que utiliza el lenguaje Prolog. (por hilo web).
  • 3

war-crimes-explorer

Aprendizaje interactivo en el navegador sobre genocidio, crímenes de guerra, crímenes de lesa humanidad y agresión.
  • 2
  • MIT

Completionist

Comprueba y/o genera una aventura en función de los requisitos de elementos para acceder a una ubicación. Inspirado en Randomizers como OOTR y Metroid.
  • 2
  • MIT

TommyPROM-PCB

Archivos de diseño de PCB para el proyecto TommyPROM (https://github.com/TomNisbet/TommyPROM).
  • 1
  • MIT

Searching-In-An-Infinite-Space-Prolog

PP2014 Prólogo Tarea.
  • 1

FlorenceBot

Un chatbot específico de dominio totalmente interactivo implementado con Prolog y PySwip.
  • 1

stabilizer

Estabilizador: evaluación rigurosa del rendimiento (horquilla llvm-12) (por magras).
  • 1
  • Apache License 2.0

copl-in-prolog

書籍「プログラミング言語の基礎概念」の Prolog による実装.
  • 1
  • MIT

SSI

Un compilador de Prolog escrito en Prolog. (por luciangreen).
  • 1
  • BSD 3-clause "New" or "Revised"

Prolog-to-List-Prolog

Convierte algoritmos de Prolog en algoritmos de List Prolog.
  • 0
  • BSD 3-clause "New" or "Revised"

WiFly-PCB

Diseño de PCB Eagle para mi WiFLy Drone.
  • 0