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
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!
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 federated, open-source data catalog for all your big data and small data
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.
cplint is a suite of programs for reasoning with probabilistic logic programs
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
Online, interactive edition of the "Simply Logical" Prolog textbook
cplint is a suite of programs for reasoning with probabilistic logic programs
A federated, open-source data catalog for all your big data and small data
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Tableau-based Theorem Prover for Natural Logic and Language
TerminusDB is a distributed database with a collaboration model
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
PSLab Hardware Design and Schematics https://pslab.io
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
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.
Logtalk - declarative object-oriented logic programming language
A federated, open-source data catalog for all your big data and small data
Online, interactive edition of the "Simply Logical" Prolog textbook
A pocket keyboard that uses SMD mouse switches. Low profile and easy to assemble
PSLab Hardware Design and Schematics https://pslab.io
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
Custom pcb to replace Dualshock 4's micro b port with usb c (PD compatible)
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
TerminusDB is a distributed database with a collaboration model
cplint is a suite of programs for reasoning with probabilistic logic programs