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
  ☆190Updated 4 years ago
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆535Updated 2 years ago
• louisabraham / algnuth
  Algebraic Number Theory package
  ☆272Updated 3 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆466Updated last week
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆296Updated this week
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated last week
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆451Updated this week
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• asrp / flpc
  Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language
  ☆224Updated 3 years ago
• codr7 / alang
  A minimal viable programming language on top of liblgpp
  ☆77Updated 4 years ago
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆303Updated 6 months ago
• EiichiroIto / NovaStelo
  Block-style programming environment for multi agent system, based on MIT Scratch.
  ☆126Updated 4 months ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆185Updated last year
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆181Updated 5 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆213Updated 9 months ago
• ianh / owl
  A parser generator for visibly pushdown languages.
  ☆792Updated 2 months ago
• pcarbonn / pyDatalog
  a datalog implementation in Python
  ☆293Updated 8 months ago
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆479Updated 3 years ago
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆124Updated 3 years ago
• JohnEarnest / ok
  An open-source interpreter for the K5 programming language.
  ☆603Updated last year
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 4 years ago
• danlm / QNial7
  The NIAL language environment
  ☆112Updated 2 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated 8 months ago