Alternatives and similar repositories for mercylog

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

• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆10Updated 4 years ago
• yardsale8 / hymagic
  ☆34Updated 11 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• sixty-north / python-transducers
  ☆57Updated 7 years ago
• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Updated 7 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆22Updated 3 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆35Updated 12 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 7 months ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 8 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• furiel / pyducers
  transducer library for python, inspired by clojure
  ☆10Updated 4 years ago
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆23Updated 2 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated 9 months ago
• tony-landis / datomic-py
  A Python library for the Datomic REST API
  ☆11Updated 10 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆67Updated 2 months ago
• hylang / hydiomatic
  The Hy Transformer
  ☆83Updated 6 years ago
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆51Updated 9 years ago
• miiohio / succinct
  Succinct, compact, and compressed data structures for data-intensive applications
  ☆61Updated 4 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last year
• metasoarous / tripl
  This one weird trick turns JSON documents into semantic graph databases!
  ☆34Updated 4 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆22Updated 2 years ago
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆14Updated 2 weeks ago
• AILab-FOI / pyxf
  Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite
  ☆11Updated 4 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year