Alternatives and similar repositories for YieldProlog

Users that are interested in YieldProlog are comparing it to the libraries listed below

• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 12 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated 6 months ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 14 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆198Updated last year
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆56Updated last year
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• rorchard / FuzzyCLIPS
  A fuzzy logic extension of the CLIPS
  ☆73Updated 10 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.
  ☆127Updated 3 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆59Updated 3 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 4 months ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 9 months ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated last year
• combinatorylogic / clike
  A simple C-like language compiler with an extensible syntax and typed macros support
  ☆132Updated 4 years ago
• zorba-processor / zorba
  Zorba - the NoSQL processor
  ☆42Updated last year
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆91Updated 5 years ago
• joshsh / ripple
  Semantic Web scripting language
  ☆103Updated 2 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 6 months ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• enso-lang / enso
  ☆71Updated 5 years ago