In Prolog geschriebene Bibliotheken
open-source-rover
Ein selbstgebauter 6-Rad-Rover basierend auf den Rovern auf dem Mars!
- 7.3k
- Apache License 2.0
terminusdb
TerminusDB ist eine verteilte Datenbank mit einem Kollaborationsmodell.
- 2.4k
- Apache License 2.0
dumbpad
Einfacher 4x4-Nummernblock mit Drehgeber. Angetrieben von QMK über ATmega32u4 Pro Micro.
- 299
- GNU General Public License v3.0 only
BadUSB-Cable
BadUSB-Kabel basierend auf dem Attiny85-Mikrocontroller.
- 274
- Creative Commons Attribution 4.0
ciao
Ciao ist eine moderne Prolog-Implementierung, die auf einem logikbasierten einfachen Kernel aufbaut, der portierbar, erweiterbar und modular gestaltet ist.
- 214
- GNU Lesser General Public License v3.0 only
RTEC
RTEC ist eine Event Calculus-Implementierung, die für Stream Reasoning optimiert ist.
- 71
- GNU Lesser General Public License v3.0 only
precautionary
Patientenzentrierte Sicherheitsdiagnostik für onkologische Dosissteigerungsstudien, die die Designsicherheit im Lichte interindividueller Variationen bei PKPD untersucht.
- 20
- GNU General Public License v3.0
Alpino
Alpino-Parser und verwandte Tools für Niederländisch.
- 18
- GNU Lesser General Public License v3.0 only
Phenesthe
„Phenesthe“ (ursprünglich φαίνεσθαι) ist ein System zur Darstellung und Verarbeitung momentaner und dauerhafter zeitlicher Phänomene.
- 18
- GNU General Public License v3.0 only
data-logic
Expertensystem mit deduktiver Abfrage und Überprüfung von in natürlicher Sprache ausgedrückten Einschränkungen.
- 14