Biblioteker skrevet i Prolog
open-source-rover
En byg-det-selv, 6-hjulet rover baseret på rovere på Mars!.
- 7.3k
- Apache License 2.0
dumbpad
Enkelt 4x4 numerisk tastatur med roterende encoder. Drevet af QMK via ATmega32u4 Pro Micro.
- 299
- GNU General Public License v3.0 only
BadUSB-Cable
BadUSB kabel baseret på Attiny85 mikrocontroller..
- 274
- Creative Commons Attribution 4.0
ciao
Ciao er en moderne Prolog-implementering, der bygger op fra en logik-baseret simpel kerne designet til at være bærbar, udvidelsesbar og modulær.
- 214
- GNU Lesser General Public License v3.0 only
RTEC
RTEC er en Event Calculus-implementering optimeret til stream-ræsonnement.
- 71
- GNU Lesser General Public License v3.0 only
precautionary
Patientcentreret sikkerhedsdiagnostik til onkologiske dosis-eskaleringsforsøg, der undersøger designsikkerhed i lyset af inter-individuel variation i PKPD.
- 20
- GNU General Public License v3.0
Alpino
Alpino parser og relaterede værktøjer til hollandsk.
- 18
- GNU Lesser General Public License v3.0 only
Phenesthe
'Phenesthe' (orig. φαίνεσθαι) er et system til repræsentation og behandling af øjeblikkelige og varige tidsmæssige fænomener.
- 18
- GNU General Public License v3.0 only
data-logic
Ekspertsystem med deduktiv forespørgsel og verifikation af begrænsninger udtrykt i naturligt sprog.
- 14
THELEMA
Min kandidatafhandling: et grammatikinduktionssystem.
- 12
- GNU General Public License v3.0 only