Prolog ben írt könyvtárak

open-source-rover

Saját készítésű, hatkerekű rover a marsi roverek alapján!.
  • 7.3k
  • Apache License 2.0

terminusdb

A TerminusDB egy elosztott adatbázis együttműködési modellel.
  • 2.4k
  • Apache License 2.0

stabilizer

Stabilizátor: Szigorú teljesítményértékelés.
  • 523
  • Apache License 2.0

the-constitution-of-japan

  • 423

logtalk3

Logtalk - deklaratív objektum-orientált logikai programozási nyelv.
  • 359
  • Apache License 2.0

dumbpad

Egyszerű 4x4-es számbillentyűzet forgó jeladóval. Powered by QMK az ATmega32u4 Pro Micro segítségével.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

BadUSB kábel Attiny85 mikrokontroller alapú...
  • 274
  • Creative Commons Attribution 4.0

tar.pl

tar creator+extractor ~100 soros prologban.
  • 248

elpi

Beágyazható Lambda Prolog tolmács.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

A Ciao egy modern Prolog implementáció, amely egy logikai alapú egyszerű kernelből épül fel, amelyet hordozható, bővíthető és modulárisnak terveztek.
  • 214
  • GNU Lesser General Public License v3.0 only

metagol

Metagol - induktív logikai programozási rendszer.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

Kényszer logikai programozás egész számok felett.
  • 160

Gleemin

A Magic: a Gathering™ szakértői rendszer.
  • 86

louise

Polinom idejű metainterpretatív tanulás.
  • 77
  • GNU General Public License v3.0

RTEC

Az RTEC egy Event Calculus implementáció, amely stream érvelésre van optimalizálva.
  • 71
  • GNU Lesser General Public License v3.0 only

nests-and-insects

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

sparqlprog

logikai programozás SPARQL-lel.
  • 42

aleph

Aleph kikötője a SWI-Prologhoz (friguzzi által).
  • 36

swipldcgtut

A DCG-k oktatóanyaga a swi-Prologban.
  • 29

PRESS

PROlog egyenletmegoldó rendszer.
  • 28
  • MIT

packages-http

Az SWI-Prolog HTTP szerver és kliens könyvtárak.
  • 22

precautionary

Betegközpontú biztonsági diagnosztika onkológiai dóziseszkalációs vizsgálatokhoz, a tervezési biztonság vizsgálata a PKPD egyedek közötti eltéréseinek fényében.
  • 20
  • GNU General Public License v3.0

Alpino

Alpino elemző és kapcsolódó eszközök holland nyelven.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

Debug Adapter Protocol (DAP) megvalósítása az SWI-Prologhoz.
  • 18
  • MIT

Phenesthe

A 'Phenesthe' (eredeti φαίνεσθαι) egy pillanatnyi és tartós időbeli jelenségek ábrázolására és feldolgozására szolgáló rendszer.
  • 18
  • GNU General Public License v3.0 only

data-logic

Szakértői rendszer deduktív lekérdezéssel és természetes nyelven kifejezett kényszerek ellenőrzésével.
  • 14

djota

Djot megvalósítás a Prologban.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

MSc szakdolgozatom: egy nyelvtani indukciós rendszer.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

Distributional Formal Semantics (DFS) eszközök.
  • 11
  • Apache License 2.0

advent-of-code-2020

A Code 2020 Advent megoldásai (aarroyoc).
  • 9
  • The Unlicense