Alternatives and similar repositories for Python-Prolog-Interpreter

Users that are interested in Python-Prolog-Interpreter are comparing it to the libraries listed below

• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆148Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆189Updated 4 years ago
• logpy / logpy
  Logic Programming in Python
  ☆918Updated 5 years ago
• asrp / flpc
  Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language
  ☆225Updated 3 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 3 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 6 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆62Updated 5 years ago
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆548Updated 3 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆312Updated this week
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆245Updated 3 months ago
• wmww / Python-plus-plus
  A framework for creating Python/C++ polyglots, programs valid in both programming languages
  ☆146Updated 6 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆184Updated 5 years ago
• tlack / xxl
  a minimal vector programming language
  ☆181Updated 4 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated this week
• louisabraham / algnuth
  Algebraic Number Theory package
  ☆271Updated 4 years ago
• EiichiroIto / NovaStelo
  Block-style programming environment for multi agent system, based on MIT Scratch.
  ☆127Updated 7 months ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆464Updated this week
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• cloudkj / layer
  Neural network inference the Unix way
  ☆563Updated 6 years ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,323Updated last month
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• pcarbonn / pyDatalog
  a datalog implementation in Python
  ☆300Updated last year
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 4 years ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆159Updated 4 years ago