Biblioteke napisane u Prolog u

open-source-rover

Napravite sami, rover sa 6 kotača temeljen na roverima na Marsu!.
  • 7.3k
  • Apache License 2.0

terminusdb

TerminusDB je distribuirana baza podataka s modelom suradnje.
  • 2.4k
  • Apache License 2.0

stabilizer

Stabilizator: rigorozna procjena performansi.
  • 523
  • Apache License 2.0

the-constitution-of-japan

  • 423

logtalk3

Logtalk - deklarativni objektno orijentirani logički programski jezik.
  • 359
  • Apache License 2.0

dumbpad

Jednostavna numerička tipkovnica 4x4 s rotirajućim koderom. Pokreće ga QMK putem ATmega32u4 Pro Micro.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

BadUSB kabel baziran na Attiny85 mikrokontroleru..
  • 274
  • Creative Commons Attribution 4.0

tar.pl

tar creator+extractor u ~100 redaka prologa.
  • 248

elpi

Lambda Prolog Interpreter koji se može ugraditi.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

Ciao je moderna Prolog implementacija koja se nadograđuje od jednostavnog kernela zasnovanog na logici dizajniranog da bude prenosiv, proširiv i modularan.
  • 214
  • GNU Lesser General Public License v3.0 only

metagol

Metagol - induktivni logički programski sustav.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

Logičko programiranje ograničenja nad cijelim brojevima.
  • 160

Gleemin

Čarolija: stručni sustav Gathering™.
  • 86

louise

Metainterpretativno učenje u polinomnom vremenu.
  • 77
  • GNU General Public License v3.0

RTEC

RTEC je implementacija računa događaja optimizirana za rezoniranje toka.
  • 71
  • GNU Lesser General Public License v3.0 only

nests-and-insects

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

sparqlprog

logičko programiranje sa SPARQL-om.
  • 42

aleph

Luka Aleph do SWI-Prolog (friguzzi).
  • 36

swipldcgtut

Vodič za DCG u swi-Prologu.
  • 29

PRESS

PRolog sustav rješavanja jednadžbi.
  • 28
  • MIT

packages-http

SWI-Prolog HTTP poslužitelj i klijentske biblioteke.
  • 22

precautionary

Sigurnosna dijagnostika usmjerena na pacijenta za onkološka ispitivanja eskalacije doze, ispitivanje sigurnosti dizajna u svjetlu međuindividualnih varijacija u PKPD-u.
  • 20
  • GNU General Public License v3.0

Alpino

Alpino parser i srodni alati za nizozemski.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

Implementacija Debug Adapter Protocol (DAP) za SWI-Prolog.
  • 18
  • MIT

Phenesthe

'Phenesthe' (orig. φαίνεσθαι) je sustav za reprezentaciju i obradu trenutnih i dugotrajnih vremenskih pojava.
  • 18
  • GNU General Public License v3.0 only

data-logic

Ekspertni sustav s deduktivnim upitima i provjerom ograničenja izraženih prirodnim jezikom.
  • 14

djota

Djot implementacija u Prologu.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

Moj magistarski rad: Sustav gramatičke indukcije.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

Alati distribucijske formalne semantike (DFS).
  • 11
  • Apache License 2.0

advent-of-code-2020

Rješenja Advent of Code 2020 (aarroyoc).
  • 9
  • The Unlicense