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
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆188Updated 4 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year
• mrocklin / unification
  ☆71Updated 4 years ago
• asrp / flpc
  Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language
  ☆222Updated 3 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆460Updated 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
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆175Updated 5 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆85Updated 8 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆237Updated 4 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆89Updated 2 years ago
• urlysses / 1991
  A server-side web framework written in Forth.
  ☆393Updated last year
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 6 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated last year
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆395Updated 2 years ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,275Updated last month
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 6 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆200Updated 3 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated last week
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆243Updated this week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆529Updated 2 years ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆162Updated last year
• danlm / QNial7
  The NIAL language environment
  ☆112Updated 2 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆97Updated 7 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.
  ☆119Updated 3 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 5 years ago