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
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
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"
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
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
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
THELEMA
ʻO kaʻu ʻatikala MSc: kahi ʻōnaehana induction grammar.
- 12
- GNU General Public License v3.0 only