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 11 months ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 8 months ago
• synchrony / smsn-why
  Get psyched about mapping knowledge!
  ☆30Updated last year
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• yardsale8 / hymagic
  ☆34Updated 10 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 8 months ago
• furiel / pyducers
  transducer library for python, inspired by clojure
  ☆10Updated 4 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆23Updated 5 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆46Updated 5 months ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 3 months ago
• sixty-north / python-transducers
  ☆56Updated 7 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆80Updated 5 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• ggaughan / dee
  An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.
  ☆10Updated 6 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆62Updated 4 months ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 6 years ago
• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆22Updated 2 years ago
• tony-landis / datomic-py
  A Python library for the Datomic REST API
  ☆11Updated 9 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆15Updated last year
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆50Updated 9 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last month
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago
• E2Music / pyTabs
  A Domain-Specific Language (DSL) for simplified music notation.
  ☆18Updated 9 years ago
• activepapers / activepapers-pharo
  Pharo edition of ActivePapers
  ☆21Updated 3 years ago