Trending repositories for language Prolog
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
TerminusDB is a distributed database with a collaboration model
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
TerminusDB is a distributed database with a collaboration model
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
TerminusDB is a distributed database with a collaboration model
A federated, open-source data catalog for all your big data and small data
Definition of the "LumaCode" signal standard with reference implementation
Logtalk - declarative object-oriented logic programming language
Definition of the "LumaCode" signal standard with reference implementation
Tableau-based Theorem Prover for Natural Logic and Language
Online, interactive edition of the "Simply Logical" Prolog textbook
Translated English Manual for Niz Plum 84EC(S) Pro-Ble Non RGB manual keyboard
TerminusDB is a distributed database with a collaboration model
A pocket keyboard that uses SMD mouse switches. Low profile and easy to assemble
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
TerminusDB is a distributed database with a collaboration model
Logtalk - declarative object-oriented logic programming language
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Definition of the "LumaCode" signal standard with reference implementation
A federated, open-source data catalog for all your big data and small data
Online, interactive edition of the "Simply Logical" Prolog textbook
PSLab Hardware Design and Schematics https://pslab.io
A pocket keyboard that uses SMD mouse switches. Low profile and easy to assemble
A pocket keyboard that uses SMD mouse switches. Low profile and easy to assemble
Definition of the "LumaCode" signal standard with reference implementation
Online, interactive edition of the "Simply Logical" Prolog textbook
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
High level commands to declare a hierarchy based on packed classes
RTEC is an Event Calculus implementation optimised for stream reasoning