Βιβλιοθήκες γραμμένες σε Prolog
open-source-rover
Ένα ρόβερ με 6 τροχούς που φτιάχνετε μόνοι σας, βασισμένο στα ρόβερ στον Άρη!.
- 7.3k
- Apache License 2.0
terminusdb
Το TerminusDB είναι μια κατανεμημένη βάση δεδομένων με μοντέλο συνεργασίας.
- 2.4k
- Apache License 2.0
logtalk3
Logtalk - δηλωτική αντικειμενοστραφής λογική γλώσσα προγραμματισμού.
- 359
- Apache License 2.0
dumbpad
Απλό numpad 4x4 με περιστροφικό κωδικοποιητή. Τροφοδοτείται από το QMK μέσω του ATmega32u4 Pro Micro.
- 299
- GNU General Public License v3.0 only
BadUSB-Cable
Καλώδιο BadUSB βασισμένο στον μικροελεγκτή Attiny85..
- 274
- Creative Commons Attribution 4.0
ciao
Το Ciao είναι μια σύγχρονη υλοποίηση Prolog που δημιουργείται από έναν απλό πυρήνα βασισμένο στη λογική, σχεδιασμένο να είναι φορητός, επεκτάσιμος και αρθρωτός.
- 214
- GNU Lesser General Public License v3.0 only
metagol
Metagol - ένα επαγωγικό σύστημα προγραμματισμού λογικής.
- 175
- BSD 3-clause "New" or "Revised"
RTEC
Το RTEC είναι μια υλοποίηση λογισμού συμβάντων βελτιστοποιημένη για συλλογισμό ροής.
- 71
- GNU Lesser General Public License v3.0 only
precautionary
Ασθενοκεντρικά διαγνωστικά ασφαλείας για ογκολογικές δοκιμές κλιμάκωσης δόσης, που εξετάζουν την ασφάλεια του σχεδιασμού υπό το φως της διαφοροποίησης μεταξύ των ατόμων στο PKPD.
- 20
- GNU General Public License v3.0
Alpino
Alpino parser και σχετικά εργαλεία για τα ολλανδικά.
- 18
- GNU Lesser General Public License v3.0 only
Phenesthe
Το «Φαινέσθη» (αρχ. φαίνεσθαι) είναι ένα σύστημα αναπαράστασης και επεξεργασίας στιγμιαίων και διαρκών χρονικών φαινομένων..
- 18
- GNU General Public License v3.0 only
data-logic
Έμπειρο σύστημα με επαγωγική αναζήτηση και επαλήθευση περιορισμών που εκφράζονται σε φυσική γλώσσα.
- 14
THELEMA
Η μεταπτυχιακή μου διατριβή: ένα σύστημα εισαγωγής γραμματικής.
- 12
- GNU General Public License v3.0 only