Knjižnice, napisane v Prolog u

open-source-rover

6-kolesni rover, ki ga izdelate sami, temelji na roverjih na Marsu!.
  • 7.3k
  • Apache License 2.0

terminusdb

TerminusDB je porazdeljena zbirka podatkov z modelom sodelovanja.
  • 2.4k
  • Apache License 2.0

stabilizer

Stabilizator: stroga ocena delovanja.
  • 523
  • Apache License 2.0

the-constitution-of-japan

  • 423

logtalk3

Logtalk - deklarativni objektno usmerjeni logični programski jezik.
  • 359
  • Apache License 2.0

dumbpad

Preprosta 4x4 številska ploščica z vrtljivim kodirnikom. Poganja QMK prek ATmega32u4 Pro Micro.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

BadUSB kabel na osnovi mikrokontrolerja Attiny85..
  • 274
  • Creative Commons Attribution 4.0

tar.pl

tar creator+extractor v ~100 vrsticah prologa.
  • 248

elpi

Vgradljivi tolmač Lambda Prolog.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

Ciao je sodobna implementacija Prologa, ki izhaja iz preprostega jedra, ki temelji na logiki in je zasnovano tako, da je prenosljivo, razširljivo in modularno.
  • 214
  • GNU Lesser General Public License v3.0 only

metagol

Metagol - sistem za induktivno logično programiranje.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

Omejitveno logično programiranje nad celimi števili.
  • 160

Gleemin

A Magic: strokovni sistem Gathering™.
  • 86

louise

Polinomsko časovno meta-interpretativno učenje.
  • 77
  • GNU General Public License v3.0

RTEC

RTEC je implementacija izračuna dogodkov, optimizirana za razmišljanje toka.
  • 71
  • GNU Lesser General Public License v3.0 only

nests-and-insects

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

sparqlprog

logično programiranje s SPARQL.
  • 42

aleph

Pristanišče Aleph do SWI-Prolog (friguzzi).
  • 36

swipldcgtut

Vadnica za DCG v swi-Prologu.
  • 29

PRESS

Sistem za reševanje enačb PRolog.
  • 28
  • MIT

packages-http

Strežnik SWI-Prolog HTTP in odjemalske knjižnice.
  • 22

precautionary

Varnostna diagnostika, osredotočena na pacienta, za onkološka preskušanja povečevanja odmerka, preučevanje varnosti zasnove v luči variacij PKPD med posamezniki.
  • 20
  • GNU General Public License v3.0

Alpino

Razčlenjevalnik Alpino in sorodna orodja za nizozemščino.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

Implementacija protokola vmesnika za odpravljanje napak (DAP) za SWI-Prolog.
  • 18
  • MIT

Phenesthe

'Phenesthe' (izvir. φαίνεσθαι) je sistem za predstavitev in obdelavo trenutnih in trajnih časovnih pojavov.
  • 18
  • GNU General Public License v3.0 only

data-logic

Ekspertni sistem z deduktivnim poizvedovanjem in preverjanjem omejitev, izraženih v naravnem jeziku.
  • 14

djota

Implementacija Djot v Prologu.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

Moja magistrska naloga: sistem za indukcijo slovnice.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

Orodja za distribucijsko formalno semantiko (DFS).
  • 11
  • Apache License 2.0

advent-of-code-2020

Rešitve Advent of Code 2020 (avtor aarroyoc).
  • 9
  • The Unlicense