Alternatives and similar repositories for Python-Prolog-Interpreter

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

• 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
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆148Updated 2 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆190Updated 4 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• asrp / flpc
  Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language
  ☆225Updated 3 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆297Updated this week
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆186Updated last year
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆202Updated 3 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 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.
  ☆305Updated this week
• logpy / logpy
  Logic Programming in Python
  ☆917Updated 5 years ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆243Updated last week
• pcarbonn / pyDatalog
  a datalog implementation in Python
  ☆295Updated 9 months ago
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆538Updated 2 years ago
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆451Updated 2 weeks ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆201Updated last year
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆98Updated 7 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆471Updated last month
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆125Updated 2 years ago
• gilch / hissp
  It's Python with a Lissp.
  ☆422Updated 7 months ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆358Updated 7 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆148Updated 6 months ago
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆89Updated 2 years ago
• kragen / stoneknifeforth
  a tiny self-hosted Forth implementation
  ☆427Updated 5 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆400Updated 3 years ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆750Updated 3 weeks ago
• tlack / xxl
  a minimal vector programming language
  ☆181Updated 4 years ago