Biblioteker skrevet i Prolog

open-source-rover

En byg-det-selv, 6-hjulet rover baseret på rovere på Mars!.
  • 7.3k
  • Apache License 2.0

terminusdb

TerminusDB er en distribueret database med en samarbejdsmodel.
  • 2.4k
  • Apache License 2.0

stabilizer

Stabilisator: Rigorøs præstationsevaluering.
  • 523
  • Apache License 2.0

logtalk3

Logtalk - deklarativt objektorienteret logisk programmeringssprog.
  • 359
  • Apache License 2.0

dumbpad

Enkelt 4x4 numerisk tastatur med roterende encoder. Drevet af QMK via ATmega32u4 Pro Micro.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

BadUSB kabel baseret på Attiny85 mikrocontroller..
  • 274
  • Creative Commons Attribution 4.0

tar.pl

tar creator+extractor i ~100 linjer prolog.
  • 248

elpi

Indbyggelig Lambda Prolog Tolk.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

Ciao er en moderne Prolog-implementering, der bygger op fra en logik-baseret simpel kerne designet til at være bærbar, udvidelsesbar og modulær.
  • 214
  • GNU Lesser General Public License v3.0 only

metagol

Metagol - et induktivt logisk programmeringssystem.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

Constraint Logic Programmering over heltal.
  • 160

Gleemin

A Magic: Gathering™-ekspertsystemet.
  • 86

louise

Polynomisk-tids meta-fortolkende læring.
  • 77
  • GNU General Public License v3.0

RTEC

RTEC er en Event Calculus-implementering optimeret til stream-ræsonnement.
  • 71
  • GNU Lesser General Public License v3.0 only

nests-and-insects

En Roguelike Bordplade RPG.
  • 50
  • GNU General Public License v3.0 only

sparqlprog

logisk programmering med SPARQL.
  • 42

aleph

Port of Aleph til SWI-Prolog (af friguzzi).
  • 36

swipldcgtut

En tutorial til DCG'er i swi-Prolog.
  • 29

PRESS

PROlog ligningsløsningssystem.
  • 28
  • MIT

packages-http

SWI-Prolog HTTP-serveren og klientbibliotekerne.
  • 22

precautionary

Patientcentreret sikkerhedsdiagnostik til onkologiske dosis-eskaleringsforsøg, der undersøger designsikkerhed i lyset af inter-individuel variation i PKPD.
  • 20
  • GNU General Public License v3.0

Alpino

Alpino parser og relaterede værktøjer til hollandsk.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

Debug Adapter Protocol (DAP) implementering for SWI-Prolog.
  • 18
  • MIT

Phenesthe

'Phenesthe' (orig. φαίνεσθαι) er et system til repræsentation og behandling af øjeblikkelige og varige tidsmæssige fænomener.
  • 18
  • GNU General Public License v3.0 only

data-logic

Ekspertsystem med deduktiv forespørgsel og verifikation af begrænsninger udtrykt i naturligt sprog.
  • 14

djota

En Djot-implementering i Prolog.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

Min kandidatafhandling: et grammatikinduktionssystem.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

Distributionsformel semantik (DFS) værktøjer.
  • 11
  • Apache License 2.0

advent-of-code-2020

Solutions of Advent of Code 2020 (af aarroyoc).
  • 9
  • The Unlicense