Nā hale waihona puke i kākau ʻia ma Prolog

open-source-rover

He mea hana-ia-oe iho, 6-wheel rover e pili ana i na rovers ma Mars!.
  • 7.3k
  • Apache License 2.0

terminusdb

ʻO TerminusDB kahi waihona i hoʻokaʻawale ʻia me kahi kumu hoʻohālike.
  • 2.4k
  • Apache License 2.0

stabilizer

Mea hoʻopaʻa: Loiloi Hoʻokō.
  • 523
  • Apache License 2.0

logtalk3

Logtalk - ka ʻōlelo hoʻonohonoho hoʻonohonoho noʻonoʻo e pili ana i nā mea.
  • 359
  • Apache License 2.0

dumbpad

4x4 numpad maʻalahi me ka rotary encoder. Hoʻohana ʻia e QMK ma o ATmega32u4 Pro Micro.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

BadUSB uwea ma muli o Attiny85 microcontroller..
  • 274
  • Creative Commons Attribution 4.0

tar.pl

tar creator+extractor ma ~100 laina o ka prolog.
  • 248

elpi

Mea unuhi ʻōlelo Lambda Prolog hiki ke hoʻokomo.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

ʻO Ciao kahi hoʻokō Prolog hou i kūkulu ʻia mai kahi kernel maʻalahi i hoʻokumu ʻia i ka logic i hoʻolālā ʻia e hiki ke lawe, extensible, a modular.
  • 214
  • GNU Lesser General Public License v3.0 only

metagol

ʻO Metagol - kahi ʻōnaehana hoʻonohonoho logic inductive.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

Hoʻopaʻa ʻana i ka Logic Programming ma luna o nā Integers.
  • 160

Gleemin

A Magic: ka ʻōnaehana loea Gathering™.
  • 86

louise

Polynomial-manawa Meta-Interpretive Learning.
  • 77
  • GNU General Public License v3.0

RTEC

ʻO RTEC kahi hanana Calculus hoʻokō i hoʻopaʻa ʻia no ka noʻonoʻo kahawai.
  • 71
  • GNU Lesser General Public License v3.0 only

nests-and-insects

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

sparqlprog

hoʻopololei hoʻopololei me SPARQL.
  • 42

aleph

Awa o Aleph i SWI-Prolog (na friguzzi).
  • 36

swipldcgtut

He kumu aʻo no DCG ma swi-Prolog.
  • 29

PRESS

PRolog Equation Solving System.
  • 28
  • MIT

packages-http

ʻO ka SWI-Prolog HTTP server a me nā hale waihona puke mea kūʻai aku.
  • 22

precautionary

ʻO nā diagnostics palekana e pili ana i nā mea maʻi no nā hoʻāʻo oncology dose-escalation, e nānā ana i ka palekana o ka hoʻolālā ʻana i ka hoʻololi ʻana i waena o kēlā me kēia kanaka ma PKPD.
  • 20
  • GNU General Public License v3.0

Alpino

Alpino parser a me nā mea hana pili no Dutch.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

Debug Adapter Protocol (DAP) hoʻokō no SWI-Prolog.
  • 18
  • MIT

Phenesthe

ʻO 'Phenesthe' (orig. φαίνεσθαι) he ʻōnaehana no ka hōʻike ʻana a me ka hoʻoponopono ʻana i nā ʻano hanana kino koke a lōʻihi.
  • 18
  • GNU General Public License v3.0 only

data-logic

Pūnaehana akamai me ka huli ʻana a me ka hōʻoia ʻana i nā kaohi i hōʻike ʻia ma ka ʻōlelo kūlohelohe.
  • 14

djota

ʻO kahi hoʻokō Djot ma Prolog.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

ʻO kaʻu ʻatikala MSc: kahi ʻōnaehana induction grammar.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

Nā mea hana Distributional Formal Semantics (DFS).
  • 11
  • Apache License 2.0

advent-of-code-2020

Nā hopena o ka Advent of Code 2020 (na aarroyoc).
  • 9
  • The Unlicense