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.
  ☆145Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆188Updated 4 years ago
• louisabraham / algnuth
  Algebraic Number Theory package
  ☆272Updated 3 years ago
• asrp / flpc
  Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language
  ☆222Updated 3 years ago
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,004Updated last year
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆237Updated 4 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆461Updated this week
• logpy / logpy
  Logic Programming in Python
  ☆915Updated 5 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆175Updated 5 years ago
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆529Updated 2 years ago
• cloudkj / layer
  Neural network inference the Unix way
  ☆560Updated 5 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆289Updated this week
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆240Updated this week
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated this week
• gilch / hissp
  It's Python with a Lissp.
  ☆410Updated 4 months ago
• vindarel / languages-that-compile-to-python
  List of languages that compile to python
  ☆263Updated last year
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆89Updated 2 years ago
• kragen / stoneknifeforth
  a tiny self-hosted Forth implementation
  ☆421Updated 4 years ago
• urlysses / 1991
  A server-side web framework written in Forth.
  ☆393Updated last year
• EiichiroIto / NovaStelo
  Block-style programming environment for multi agent system, based on MIT Scratch.
  ☆126Updated 2 months ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,275Updated last month
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆49Updated 7 months ago
• pycket / pycket
  A rudimentary Racket implementation using RPython
  ☆260Updated 4 months ago
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆619Updated 3 months ago
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆595Updated 2 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago