Prolog ile yazılmış kütüphaneler

open-source-rover

Mars'taki gezicilere dayanan, kendin yap, 6 tekerlekli bir gezici!.
  • 7.3k
  • Apache License 2.0

terminusdb

TerminusDB, işbirliği modeline sahip dağıtılmış bir veritabanıdır.
  • 2.4k
  • Apache License 2.0

stabilizer

Sabitleyici: Titiz Performans Değerlendirmesi.
  • 523
  • Apache License 2.0

the-constitution-of-japan

  • 423

logtalk3

Logtalk - bildirime dayalı nesne yönelimli mantık programlama dili.
  • 359
  • Apache License 2.0

dumbpad

Döner kodlayıcılı basit 4x4 sayısal tuş takımı. ATmega32u4 Pro Micro aracılığıyla QMK tarafından desteklenmektedir.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

Attiny85 mikrodenetleyici tabanlı BadUSB kablosu..
  • 274
  • Creative Commons Attribution 4.0

tar.pl

~100 satır önsözde katran oluşturucu+çıkarıcı.
  • 248

elpi

Katıştırılabilir Lambda Prolog Tercümanı.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

Ciao, taşınabilir, genişletilebilir ve modüler olacak şekilde tasarlanmış mantık tabanlı basit bir çekirdekten oluşan modern bir Prolog uygulamasıdır.
  • 214
  • GNU Lesser General Public License v3.0 only

metagol

Metagol - tümevarımsal bir mantık programlama sistemi.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

Tamsayılar Üzerinden Kısıtlama Mantığı Programlaması.
  • 160

Gleemin

A Magic: Gathering™ uzman sistemi.
  • 86

louise

Polinom-zaman Meta-Yorumlayıcı Öğrenme.
  • 77
  • GNU General Public License v3.0

RTEC

RTEC, akış muhakemesi için optimize edilmiş bir Event Calculus uygulamasıdır.
  • 71
  • GNU Lesser General Public License v3.0 only

nests-and-insects

Bir Roguelike Masa Üstü RPG.
  • 50
  • GNU General Public License v3.0 only

sparqlprog

SPARQL ile mantıksal programlama.
  • 42

aleph

Aleph Limanı'ndan SWI-Prolog'a (friguzzi tarafından).
  • 36

swipldcgtut

DCG'ler için swi-Prolog'da bir öğretici.
  • 29

PRESS

PRolog Denklem Çözme Sistemi.
  • 28
  • MIT

packages-http

SWI-Prolog HTTP sunucusu ve istemci kitaplıkları.
  • 22

precautionary

PKPD'de bireyler arası değişkenlik ışığında tasarım güvenliğini inceleyen onkoloji doz artırma denemeleri için hasta merkezli güvenlik teşhisi..
  • 20
  • GNU General Public License v3.0

Alpino

Felemenkçe için Alpino ayrıştırıcı ve ilgili araçlar.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

SWI-Prolog için Adaptör Protokolü (DAP) uygulamasında hata ayıklama.
  • 18
  • MIT

Phenesthe

'Phenesthe' (orijinal φαίνεσθαι), anlık ve sürekli zamansal fenomenlerin temsili ve işlenmesi için bir sistemdir.
  • 18
  • GNU General Public License v3.0 only

data-logic

Tümdengelimli sorgulama ve doğal dilde ifade edilen kısıtlamaların doğrulanması ile uzman sistem.
  • 14

djota

Prolog'da bir Djot uygulaması.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

Yüksek lisans tezim: bir gramer tümevarım sistemi.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

Dağılım Biçimsel Semantiği (DFS) araçları.
  • 11
  • Apache License 2.0

advent-of-code-2020

Advent of Code 2020 Çözümleri (aarroyoc tarafından).
  • 9
  • The Unlicense