Trending repositories for language Prolog
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
PSLab Hardware Design and Schematics https://pslab.io
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
PSLab Hardware Design and Schematics https://pslab.io
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
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
Definition of the "LumaCode" signal standard with reference implementation
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
A federated, open-source data catalog for all your big data and small data
Online, interactive edition of the "Simply Logical" Prolog textbook
The object-oriented HPC platform for CFD, plasma and multi-physics simulations whose development started in 2002 at the Von Karman Institute for Fluid Dynamics is finally open!
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.
Logtalk - declarative object-oriented logic programming language
TerminusDB is a distributed database with a collaboration model
The object-oriented HPC platform for CFD, plasma and multi-physics simulations whose development started in 2002 at the Von Karman Institute for Fluid Dynamics is finally open!
Tableau-based Theorem Prover for Natural Logic and Language
A federated, open-source data catalog for all your big data and small data
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
Definition of the "LumaCode" signal standard with reference implementation
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
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
Definition of the "LumaCode" signal standard with reference implementation
A pocket keyboard that uses SMD mouse switches. Low profile and easy to assemble
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
Logtalk - declarative object-oriented logic programming language
Custom pcb to replace Dualshock 4's micro b port with usb c (PD compatible)
TerminusDB is a distributed database with a collaboration model
cplint is a suite of programs for reasoning with probabilistic logic programs