Starred repositories
5
stars
written in Prolog
Clear filter
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
Logtalk - declarative object-oriented logic programming language
Some notes taken while working on Prolog
Language Server Protocol server for SWI-Prolog