Knihovny napsané v Prolog u

open-source-rover

Postavte si sami, 6kolový rover založený na roverech na Marsu!.
  • 7.3k
  • Apache License 2.0

terminusdb

TerminusDB je distribuovaná databáze s modelem spolupráce.
  • 2.4k
  • Apache License 2.0

stabilizer

Stabilizátor: Přísné hodnocení výkonu.
  • 523
  • Apache License 2.0

the-constitution-of-japan

  • 423

logtalk3

Logtalk - deklarativní objektově orientovaný logický programovací jazyk.
  • 359
  • Apache License 2.0

dumbpad

Jednoduchá numerická klávesnice 4x4 s otočným enkodérem. Poháněno QMK přes ATmega32u4 Pro Micro.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

BadUSB kabel založený na mikrokontroléru Attiny85...
  • 274
  • Creative Commons Attribution 4.0

tar.pl

tar tvůrce + extraktor v ~ 100 řádcích prologu.
  • 248

elpi

Zabudovatelný tlumočník Lambda Prolog.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

Ciao je moderní implementace Prologu, která vychází z logického jednoduchého jádra navrženého tak, aby bylo přenosné, rozšiřitelné a modulární.
  • 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

Omezení logického programování přes celá čísla.
  • 160

Gleemin

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

louise

Metainterpretační učení v polynomiálním čase.
  • 77
  • GNU General Public License v3.0

RTEC

RTEC je implementace Event Calculus optimalizovaná pro uvažování proudů.
  • 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é programování pomocí SPARQL.
  • 42

aleph

Port of Aleph do SWI-Prolog (od friguzzi).
  • 36

swipldcgtut

Výukový program pro DCG ve swi-Prolog.
  • 29

PRESS

PROlog Systém řešení rovnic.
  • 28
  • MIT

packages-http

HTTP server a klientské knihovny SWI-Prolog.
  • 22

precautionary

Bezpečnostní diagnostika zaměřená na pacienta pro onkologické studie s eskalací dávky, zkoumající bezpečnost návrhu ve světle interindividuálních variací v PKPD.
  • 20
  • GNU General Public License v3.0

Alpino

Alpino parser a související nástroje pro holandštinu.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

Implementace Debug Adapter Protocol (DAP) pro SWI-Prolog.
  • 18
  • MIT

Phenesthe

'Phenesthe' (orig. φαίνεσθαι) je systém pro reprezentaci a zpracování okamžitých a trvalých časových jevů.
  • 18
  • GNU General Public License v3.0 only

data-logic

Expertní systém s deduktivním dotazováním a ověřováním omezení vyjádřených v přirozeném jazyce.
  • 14

djota

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

THELEMA

Moje magisterská práce: Gramatický indukční systém.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

Nástroje distribuční formální sémantiky (DFS).
  • 11
  • Apache License 2.0

advent-of-code-2020

Řešení adventu kódu 2020 (od aarroyoc).
  • 9
  • The Unlicense