Knižnice napísané v Prolog e

open-source-rover

6-kolesový rover, ktorý si môžete postaviť sami, založený na roveroch na Marse!.
  • 7.3k
  • Apache License 2.0

terminusdb

TerminusDB je distribuovaná databáza s modelom spolupráce.
  • 2.4k
  • Apache License 2.0

stabilizer

Stabilizátor: Prísne hodnotenie výkonu.
  • 523
  • Apache License 2.0

the-constitution-of-japan

  • 423

logtalk3

Logtalk - deklaratívny objektovo orientovaný logický programovací jazyk.
  • 359
  • Apache License 2.0

dumbpad

Jednoduchá numerická klávesnica 4x4 s otočným kódovačom. Poháňané QMK cez ATmega32u4 Pro Micro.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

BadUSB kábel založený na mikrokontroléri Attiny85.
  • 274
  • Creative Commons Attribution 4.0

tar.pl

tvorca dechtu + extraktor v ~ 100 riadkoch prologu.
  • 248

elpi

Zabudovateľný tlmočník Lambda Prolog.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

Ciao je moderná implementácia Prologu, ktorá sa skladá z logického jednoduchého jadra navrhnutého tak, aby bolo prenosné, rozšíriteľné a modulárne.
  • 214
  • GNU Lesser General Public License v3.0 only

metagol

Metagol - indukčný logický programovací systém.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

Obmedzenie logického programovania cez celé čísla.
  • 160

Gleemin

A Magic: expertný systém Gathering™.
  • 86

louise

Metainterpretačné učenie v polynomiálnom čase.
  • 77
  • GNU General Public License v3.0

RTEC

RTEC je implementácia Event Calculus optimalizovaná pre prúdové uvažovanie.
  • 71
  • GNU Lesser General Public License v3.0 only

nests-and-insects

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

sparqlprog

logické programovanie pomocou SPARQL.
  • 42

aleph

Prístav Aleph do SWI-Prolog (od friguzzi).
  • 36

swipldcgtut

Návod pre DCG v swi-Prolog.
  • 29

PRESS

PRolog Systém riešenia rovníc.
  • 28
  • MIT

packages-http

HTTP server a klientske knižnice SWI-Prolog.
  • 22

precautionary

Bezpečnostná diagnostika zameraná na pacienta pre onkologické štúdie s eskaláciou dávky, skúmajúca bezpečnosť návrhu vo svetle interindividuálnych variácií v PKPD.
  • 20
  • GNU General Public License v3.0

Alpino

Alpino parser a súvisiace nástroje pre holandčinu.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

Implementácia Debug Adapter Protocol (DAP) pre SWI-Prolog.
  • 18
  • MIT

Phenesthe

„Phenesthe“ (pôv. φαίνεσθαι) je systém na zobrazenie a spracovanie okamžitých a trvalých časových javov.
  • 18
  • GNU General Public License v3.0 only

data-logic

Expertný systém s deduktívnym dopytovaním a overovaním obmedzení vyjadrených v prirodzenom jazyku.
  • 14

djota

Implementácia Djot v Prologu.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

Moja diplomová práca: Systém gramatiky.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

Nástroje distribučnej formálnej sémantiky (DFS).
  • 11
  • Apache License 2.0

advent-of-code-2020

Riešenia Advent of Code 2020 (od aarroyoc).
  • 9
  • The Unlicense