Alternatives and similar repositories for SemanticSpaceTime

Users that are interested in SemanticSpaceTime are comparing it to the libraries listed below

• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆100Updated 2 months ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆36Updated 7 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆42Updated 10 months ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated 2 weeks ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆41Updated 4 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆57Updated 2 months ago
• cwebber / racket-linkeddata
  Linked data tooling for the Racket programming language (json-ld, eventually more)
  ☆16Updated 7 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 3 years ago
• rdfio / rdf2smw
  Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool
  ☆19Updated 10 months ago
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆22Updated 3 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆107Updated last year
• spechub / Hets
  The Heterogeneous Tool Set
  ☆60Updated 4 months ago
• Blog-Core / blog-core
  Blogging/CMS framework for SWI-Prolog.
  ☆23Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆39Updated 7 years ago
• tamarit / pn_suite
  A suite of tools for Petri Nets
  ☆13Updated 3 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 6 years ago
• triska / proloxy
  Prolog Reverse Proxy
  ☆20Updated 7 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Updated 10 years ago
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆19Updated 2 years ago
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆10Updated 4 years ago
• fogfish / datalog
  simplified query engine based on logic programming paradigm
  ☆155Updated 6 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆86Updated 3 weeks ago
• serperu / secer
  SecEr: Erlang Code Evolution Control Tool
  ☆12Updated 3 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆78Updated 2 years ago
• harp-project / Core-Erlang-Formalization
  ☆12Updated this week
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 14 years ago
• rdfostrich / ostrich
  🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)
  ☆51Updated 5 months ago